From dd7ddba6fd71d41c3e5a4de721d31bc09b60d50c Mon Sep 17 00:00:00 2001 From: Scala Steward Date: Wed, 28 Feb 2024 01:43:51 +0000 Subject: [PATCH] Update scala-library to 2.12.19 --- .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 232c0bd..d1635eb 100644 --- a/.github/docs/docs.scala +++ b/.github/docs/docs.scala @@ -1,4 +1,4 @@ -//> using scala "2.12.18" +//> using scala "2.12.19" //> using lib "org.scalameta::mdoc:2.3.2" import java.nio.file.Path