v2.3.2
·
189 commits
to main
since this release
What's Changed
- Support Rocq 9.1.0 by @gares in #1156
- Update Readme for VsRocq by @JoJoDeveloping in #1159
- nix-ci runs fatalwarnings profile on rocq master only on linux by @gares in #1161
- bump version by @gares in #1160
New Contributors
- @JoJoDeveloping made their first contribution in #1159
Full Changelog: v2.3.1...v2.3.2
Contributors
gares and JoJoDeveloping