Skip to content

Coq8.6 is also compatible with 8.5 - make it the new master

Janno requested to merge coq8.6 into master

[No text]

Merge request reports