Closed proux01 closed 6 months ago
Adapt to https://github.com/coq/coq/pull/18590
@mattam82, @yforster this is backward compatible and can be merged
Adapt to https://github.com/coq/coq/pull/18590