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

---
 .github/docs/docs.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/docs/docs.scala b/.github/docs/docs.scala
index d1635eb..8fac7da 100644
--- a/.github/docs/docs.scala
+++ b/.github/docs/docs.scala
@@ -1,4 +1,4 @@
-//> using scala "2.12.19"
+//> using scala "2.12.20"
 //> using lib "org.scalameta::mdoc:2.3.2"
 
 import java.nio.file.Path