·
18 commits
to main
since this release
What's Changed
- Adapt w.r.t. coq/coq#18652. by @ppedrot in #722
- Fix coq-master CI by @rtetley in #738
- Manual nav fix by @rtetley in #740
- Capture the correct loc for when an import fails. by @rtetley in #739
Full Changelog: v2.1.1+coq8.19...v2.1.2
Contributors
ppedrot and rtetley