Closed richard9810 closed 2 years ago
https://github.com/eclipse-theia/theia/issues/10982#issue-1190478095
I believe this was opened by accident (and likely meant for your fork).
https://github.com/eclipse-theia/theia/issues/10982#issue-1190478095