Skip to content

Ignore -uncurried compiler flag.#6885

Merged
cristianoc merged 2 commits intomasterfrom
remove-uncurried-flag
Jul 18, 2024
Merged

Ignore `-uncurried` compiler flag.#6885
cristianoc merged 2 commits intomasterfrom
remove-uncurried-flag

Commits

Commits on Jul 18, 2024