theia
theia copied to clipboard
[vscode] Raise builtins version to 1.88.1
We need updated built-ins: even thought the official API we implement should be compatible with older built-ins, they use proposed API, with changes in random ways.
Moving to 1.84.2 version
We're now at 1.88.1. Testing can only be done when we have closed the API gap, but I'll start the IP process.
@tsmaeder @rschnekenbu is this done?