Skip to content

Conversation

tsnobip
Copy link
Member

@tsnobip tsnobip commented Mar 24, 2025

No description provided.

@tsnobip tsnobip changed the title Better deprecation msg in Pervasives Add Stdlib Bool and Char modules + Better deprecation msg in Pervasives Mar 24, 2025
@tsnobip tsnobip force-pushed the better-deprecation-msg branch from d487134 to fb0bb00 Compare March 24, 2025 13:15
@tsnobip tsnobip requested a review from cknitt March 24, 2025 13:20
@tsnobip tsnobip merged commit 978c979 into master Mar 24, 2025
20 checks passed
@cknitt cknitt deleted the better-deprecation-msg branch March 25, 2025 13:50
fhammerschmidt pushed a commit that referenced this pull request Apr 4, 2025
…es (#7361)

* add Stdlib Bool and Char modules

* point deprecated functions to Stdlib alternatives

* update Changelog

* update artifacts.txt
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants