Merge branch '__rultor'

jcabi · May 21, 2023 · 3bf7b9e · 3bf7b9e
2 parents 13e4f5e + fadf33b
commit 3bf7b9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -953,7 +953,7 @@ OF THE POSSIBILITY OF SUCH DAMAGE.
             <groupId>org.antlr</groupId>
             <artifactId>antlr4-maven-plugin</artifactId>
             <!-- Don't forget to change the version of the ANTLR4-RUNTIME too! -->
-            <version>4.12.0</version>
+            <version>4.13.0</version>
             <configuration>
               <sourceDirectory>src/main/antlr4</sourceDirectory>
             </configuration>