Skip to content

Disallow pointer types for record parameters#4077

Merged
jcouv merged 2 commits intomasterfrom dev/jcouv/restricted-typeOct 30, 2020
+4-1

Commits

Commits on Oct 28, 2020

Commits on Oct 29, 2020