From c6ed0f8f69a1e2ba0449aab9e971606b012e9202 Mon Sep 17 00:00:00 2001
From: Seth Tisue <seth@tisue.net>
Date: Mon, 23 Dec 2019 22:00:26 -0600
Subject: [PATCH] 2.13: new Scala SHA

and pull in relevant scala-xml fix
---
 nightly.properties  | 4 ++--
 proj/scala-xml.conf | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

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} [