Adapt to https://github.com/coq/coq/pull/20027 #543
+1
−1
Merged
The logs for this run have expired and are no longer available.
Loading