rewind zinc

Author: SethTisue

proj/zinc.conf

@@ -1,8 +1,10 @@
-// https://github.com/sbt/zinc.git#develop
+// https://github.com/sbt/zinc.git#dcddc1f9cfe542d738582c43f4840e17c053ce81  # was develop
+
+// frozen (September 2024) -- uninvestigated errors if we advance
 
 vars.proj.zinc: ${vars.base} {
   name: "zinc"
-  uri: "https://github.com/sbt/zinc.git#1899979a26356ccfdc601d5c46992e7ce77020e0"
+  uri: "https://github.com/sbt/zinc.git#dcddc1f9cfe542d738582c43f4840e17c053ce81"
 
   extra.projects: ["*2_13"]
   extra.exclude: [