Dotty docs not found #14470
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 }}
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.