Adapt to https://github.com/coq/coq/pull/19530 #1964
+31
−48
Merged
This job succeeded
Loading