From 802f680b05a747a6648d8e7de21725cbc8e2599a Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Fri, 6 Sep 2024 12:42:15 +0000
Subject: [PATCH] Update scala-library to 2.12.20

---
 src/config.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/config.scala b/src/config.scala
index ed92c55..468fd52 100644
--- a/src/config.scala
+++ b/src/config.scala
@@ -1,4 +1,4 @@
-//> using scala "2.13.14", "2.12.19"
+//> using scala "2.13.14", "2.12.20"
 //> using platform "jvm", "scala-js", "native"
 //> using lib "org.scalacheck::scalacheck::1.18.0"
 //> using lib "com.chuusai::shapeless::2.3.12"