Merge pull request #198 from kieler/nre/sprotty-112

update to Sprotty-server version 1.1.2
kieler · Aug 6, 2024 · be0d284 · be0d284
2 parents 417fcc9 + e8d6c3b
commit be0d284
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -58,7 +58,7 @@
     <guice-version>7.0.0</guice-version>
     <jface-version>3.32.0</jface-version>
     <lsp4j-version>0.22.0</lsp4j-version>
-    <sprotty-version>1.1.1</sprotty-version>
+    <sprotty-version>1.1.2</sprotty-version>
     <swt-mock-version>0.1.0</swt-mock-version>
     <swt-version>3.124.200</swt-version>
     <tycho-version>2.7.3</tycho-version>