From 7b6cf8a4a123c544171918c8b2d53a07981a69af Mon Sep 17 00:00:00 2001
From: Matthias Kurz <m.kurz@irregular.at>
Date: Wed, 5 Oct 2022 00:20:47 +0200
Subject: [PATCH] Workaround scala-xml conflicts

---
 project/plugins.sbt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/project/plugins.sbt b/project/plugins.sbt
index 1241f220..912f6ad4 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -1,3 +1,7 @@
+lazy val plugins = (project in file(".")).settings(
+  scalaVersion := "2.12.17", // TODO: remove when upgraded to sbt 1.8.0 (maybe even 1.7.2), see https://github.com/sbt/sbt/pull/7021
+)
+
 resolvers ++= DefaultOptions.resolvers(snapshot = true)
 resolvers ++= Seq(
   Resolver.sonatypeRepo("releases"),