Rewriter v0.0.8
Pre-release
Pre-release
What's Changed
- Better "cannot strip functional dependencies" message by @JasonGross in #83
- When replacing Coq version info, display the replacement by @JasonGross in #82
- Fix for realpath not in zsh by @JasonGross in #91
- Adapt w.r.t. coq/coq#16910. by @ppedrot in #95
- adapt for coq/coq#17022 by @andres-erbsen in #96
New Contributors
- @andres-erbsen made their first contribution in #96
Full Changelog: v0.0.7...v0.0.8
Contributors
JasonGross, andres-erbsen, and ppedrot