From 1667654b2f05860d7c9092ff3612d107d81f482c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= <sjrdoeraene@gmail.com>
Date: Mon, 5 Jun 2023 16:28:06 +0200
Subject: [PATCH] Remove support for Scala 2.12.4.

It simply has not been supported by the Zinc used since sbt 1.6.0.
See https://github.com/sbt/sbt/issues/6838 and
https://github.com/sbt/zinc/issues/1010 .

Attempting to compile *any* project using Scala 2.12.4 and sbt
1.6.0+, including a Hello World, results in a StackOverflow.
Therefore, no one must be using Scala 2.12.4 at this point.
---
 Jenkinsfile         | 1 -
 project/Build.scala | 1 -
 2 files changed, 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7f87dfdae4..67e6008355 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -457,7 +457,6 @@ def mainScalaVersions = ["2.12.17", "2.13.10"]
 def otherScalaVersions = [
   "2.12.2",
   "2.12.3",
-  "2.12.4",
   "2.12.5",
   "2.12.6",
   "2.12.7",
diff --git a/project/Build.scala b/project/Build.scala
index ce72c20b45..b0b5f4c43f 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -784,7 +784,6 @@ object Build {
       cross212ScalaVersions := Seq(
         "2.12.2",
         "2.12.3",
-        "2.12.4",
         "2.12.5",
         "2.12.6",
         "2.12.7",