Bump org.eclipse.xtend:xtend-maven-plugin in /tools

Bumps org.eclipse.xtend:xtend-maven-plugin from 2.31.0 to 2.32.0. --- updated-dependencies: - dependency-name: org.eclipse.xtend:xtend-maven-plugin dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
ge-high-assurance · Aug 28, 2023 · d41a842 · d41a842
1 parent 813fe31
commit d41a842
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/pom.xml b/tools/pom.xml
@@ -38,7 +38,7 @@
     <version.tycho>3.0.5</version.tycho>
     <version.verdict>${project.version}</version.verdict>
     <!-- No need for version.xtext to match VERDICT target platform -->
-    <version.xtext>2.31.0</version.xtext>
+    <version.xtext>2.32.0</version.xtext>
   </properties>
 
   <!-- Set all dependency versions in one place -->