Skip to content

chore: update to Theia CR 1.66.2#55

Merged
ndoschek merged 1 commit intomasterfrom
nd/update-cr
Nov 17, 2025
Merged

chore: update to Theia CR 1.66.2#55
ndoschek merged 1 commit intomasterfrom
nd/update-cr

Commits

Commits on Nov 17, 2025