Closed ppedrot closed 2 years ago
This is backwards compatible and should fix the Coq CI.
This has been fixed by @SkySkimmer, thank you!
This is backwards compatible and should fix the Coq CI.