From 3a241ad3956c26b6887c4df076eca38871cce5b3 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 22 Aug 2023 22:46:12 +0000
Subject: [PATCH] Bump dk.brics:automaton from 1.12-1 to 1.12-4

Bumps [dk.brics:automaton](https://github.com/cs-au-dk/dk.brics.automaton) from 1.12-1 to 1.12-4.
- [Changelog](https://github.com/cs-au-dk/dk.brics.automaton/blob/master/ChangeLog)
- [Commits](https://github.com/cs-au-dk/dk.brics.automaton/commits)

---
updated-dependencies:
- dependency-name: dk.brics:automaton
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index b4397549..c7c5d15f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -97,7 +97,7 @@
         <dependency>
             <groupId>dk.brics</groupId>
             <artifactId>automaton</artifactId>
-            <version>1.12-1</version>
+            <version>1.12-4</version>
             <scope>compile</scope>
         </dependency>
         <dependency>