From 727796ee1bff9b15c5fdd8790bc873be18b0fd7a Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Tue, 12 Sep 2023 13:44:22 +0000
Subject: [PATCH] Update scala-library to 2.13.12

---
 project/ProjectSetting.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/ProjectSetting.scala b/project/ProjectSetting.scala
index f6219592..0e5ed698 100644
--- a/project/ProjectSetting.scala
+++ b/project/ProjectSetting.scala
@@ -10,7 +10,7 @@ import sbt.Keys._
  */
 object ProjectSetting {
 
-  lazy val scala213 = "2.13.8"
+  lazy val scala213 = "2.13.12"
 
   def extraOptions(optimize: Boolean): List[String] = List("-Wunused:imports") ++ optimizerOptions(optimize)