Skip to content

NO-MERGE: chore: Updated to 1.36.0 Theia#2011

Closed
kittaakos wants to merge 5 commits intoarduino:mainfrom
kittaakos:theia-1.36.0
Closed

NO-MERGE: chore: Updated to `1.36.0` Theia#2011
kittaakos wants to merge 5 commits intoarduino:mainfrom
kittaakos:theia-1.36.0

Commits

Commits on Apr 11, 2023