Bumped Brics version to 1.11.8
Motivation behind the bump is the following Gerrit targeted
Brics patch, which was included in the 1.11.8 release:
https://github.com/GLundh/dk.brics.automaton/commit/75175c3
This Brics version fixes a performance issue in some larger
Gerrit systems.
Change-Id: I53637988fbe1769d2d18860b7ebe70f70781786c
diff --git a/pom.xml b/pom.xml
index a984a83..6a04b28 100644
--- a/pom.xml
+++ b/pom.xml
@@ -790,7 +790,7 @@
<dependency>
<groupId>dk.brics.automaton</groupId>
<artifactId>automaton</artifactId>
- <version>1.11.2</version>
+ <version>1.11.8</version>
</dependency>
<dependency>