Skip to content

Stop mentioning Coq bug fixed in Coq >= 8.13

Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:revise-readme into master

This should wait till stdpp drops support for Coq 8.12, but that's soon IIUC.

Merge request reports