From 41fba302f077459db3e8bf0dc2e2d52ae9fa5dba Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Sat, 16 Sep 2023 18:58:16 +0000
Subject: [PATCH] Update scala-library to 2.13.12

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 711e7c4..b6ccd30 100644
--- a/pom.xml
+++ b/pom.xml
@@ -55,7 +55,7 @@
     <mima.version>0.9.2</mima.version>
     <plexus-utils.version>3.3.0</plexus-utils.version>
     <scala.binary.version>2.13</scala.binary.version>
-    <scala.version>2.13.6</scala.version>
+    <scala.version>2.13.12</scala.version>
     <scala-xml.version>2.0.1</scala-xml.version>
   </properties>