2.12: new Scala SHA (re-STARRed)

SethTisue · SethTisue · commit 7ef0adf5be0a · 2019-08-05T15:21:20.000-07:00
diff --git a/nightly.properties b/nightly.properties
@@ -1,2 +1,2 @@
-# July 31, 2019
-nightly=2.12.9-bin-87d43d0
+# August 5, 2019
+nightly=2.12.10-bin-f5b7822
