Closed dsheets closed 9 years ago
Any reason to hold on this one?
Would break upstream opam2web without merge of project-pages. Will probably merge both later today.
Where by "upstream" I mean "downstream" but directions are all symmetric...
Any reason to hold on this one?