Skip to content

Add Stdlib Bool and Char modules + Better deprecation msg in Pervasives#7361

Merged
tsnobip merged 4 commits intomasterfrom
better-deprecation-msg
Mar 24, 2025
Merged

Add Stdlib Bool and Char modules + Better deprecation msg in Pervasives#7361
tsnobip merged 4 commits intomasterfrom
better-deprecation-msg

Commits

Commits on Mar 24, 2025