Closed
Description
If I google for "dotty docs" I get the link dotty.epfl.ch/docs and if I click on this I get a 404.
We need to revert the refactoring that makes pervious common links go nowhere.
{{ message }}
No type
No projects
None yet
No branches or pull requests