Merge pull request #87 from CROSSINGTUD/dependabot/maven/org.codehaus…

….mojo-exec-maven-plugin-3.1.1 Bump org.codehaus.mojo:exec-maven-plugin from 3.1.0 to 3.1.1
CROSSINGTUD · Nov 27, 2023 · 8c5e66d · 8c5e66d
2 parents d8320ef + 7d783a0
commit 8c5e66d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/de.darmstadt.tu.crossing.CrySL/pom.xml b/de.darmstadt.tu.crossing.CrySL/pom.xml
@@ -15,7 +15,7 @@
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>exec-maven-plugin</artifactId>
-				<version>3.1.0</version>
+				<version>3.1.1</version>
 				<executions>
 					<execution>
 						<id>mwe2Launcher</id>