diff --git a/nightly.properties b/nightly.properties index 5bd865f40..1132b97de 100644 --- a/nightly.properties +++ b/nightly.properties @@ -1,2 +1,2 @@ -# December 13, 2019 -nightly=2.13.2-bin-1286ef4 +# December 19, 2019 +nightly=2.13.2-bin-7bfe4c0 diff --git a/proj/scala-xml.conf b/proj/scala-xml.conf index 370e94b9e..4da2e4f67 100644 --- a/proj/scala-xml.conf +++ b/proj/scala-xml.conf @@ -2,7 +2,7 @@ vars.proj.scala-xml: ${vars.base} { name: "scala-xml" - uri: "https://github.com/scala/scala-xml.git#6a6a3d31ac5b4e6113a4cc29621b2a603727c0c7" + uri: "https://github.com/scala/scala-xml.git#2ac644f54d5a89b162524d6f38f87db82753b649" extra.projects: ["xml"] extra.commands: ${vars.default-commands} [ diff --git a/report/Report.scala b/report/Report.scala index ec9043415..fe1b972e8 100644 --- a/report/Report.scala +++ b/report/Report.scala @@ -49,7 +49,6 @@ object SuccessReport { "metrics-scala", // needs ScalaTest 3.1 "multibot", // needs ScalaTest 3.1 "paradox", // no 2.13 upgrade (checked Aug 6 2019) - "pureconfig", // maybe just needs newer cats? (but cats upgrade needs ScalaTest 3.1) "scalafix", // no 2.13 upgrade (checked Dec 20 2019) "scalafmt", // needs ScalaTest 3.1 "scalastyle", // no 2.13 upgrade (checked Aug 6 2019)