Update Automaton.

Mailaender · eselmeister · commit d39d03e7dc78 · 2026-05-12T14:25:29.000+02:00
diff --git a/openchrom/releng/net.openchrom.targetplatform/net.openchrom.targetplatform.target b/openchrom/releng/net.openchrom.targetplatform/net.openchrom.targetplatform.target
@@ -93,7 +93,7 @@
 			<dependency>
 				<groupId>dk.brics</groupId>
 				<artifactId>automaton</artifactId>
-				<version>1.12-1</version>
+				<version>1.12-4</version>
 				<type>jar</type>
 			</dependency>
 		</dependencies>
