What's Changed
- Update maintainer list in README. by @Zimmi48 in #207
- Adapt to coq/coq#19530 by @proux01 in #208
- Re-implement PixMap writer in Elpi by @MSoegtropIMC in #209
- adapt to elpi 2.0 by @gares in #212
- Adapt to coq/coq#19801 by @proux01 in #214
New Contributors
- @MSoegtropIMC made their first contribution in #209
Full Changelog: 8.19.0...8.20.0
Contributors
gares, Zimmi48, and 2 other contributors