Closed
Description
See #5102
And while we're at it we should update the "Status" section of http://dotty.epfl.ch/docs/usage/ide-support.html
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests
See #5102
And while we're at it we should update the "Status" section of http://dotty.epfl.ch/docs/usage/ide-support.html