NO-MERGE: chore: Updated to 1.36.0 Theia#2011
Closed
kittaakos wants to merge 5 commits intoarduino:mainfrom 
Closed
NO-MERGE: chore: Updated to `1.36.0` Theia#2011kittaakos wants to merge 5 commits intoarduino:mainfrom 
kittaakos wants to merge 5 commits intoarduino:mainfrom 
Commits
Commits on Apr 11, 2023
- committed Akos Kitta Akos Kitta
- committed Akos Kitta Akos Kitta
- committed Akos Kitta Akos Kitta
- committed Akos Kitta Akos Kitta
- committed Akos Kitta Akos Kitta