Update wollmux-core

sikelerd · sikelerd · commit ecb5bf9de336 · 2019-08-07T14:11:50.000+02:00
diff --git a/pom.xml b/pom.xml
@@ -428,7 +428,7 @@
 		<dependency>
 			<groupId>de.muenchen</groupId>
 			<artifactId>wollmux-core</artifactId>
-			<version>18.1.2-SNAPSHOT</version>
+			<version>18.1.2</version>
 		</dependency>
 		<dependency>
 			<groupId>org.libreoffice</groupId>
