What's Changed
- TwoThree: remove dead parameter by @liyishuai in #147
- ListSet: remove dead parameter by @liyishuai in #148
- Adapt to coq/coq#19530 by @proux01 in #149
- adapt to coq/coq#19872 by @liyishuai in #150
Full Changelog: v0.12.2...v0.13.0
Contributors
liyishuai and proux01