Skip to content

Fix 2954 by using mkIdent in SynPat.OptionalVal#2956

Merged
jindraivanek merged 1 commit intofsprojects:mainfrom jindraivanek:fix/2954Sep 12, 2023
+25-1

Commits

Commits on Sep 12, 2023