wip

SethTisue · May 12, 2021 · 80e1c27 · 80e1c27
1 parent 5115f95
commit 80e1c27
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/proj/pureconfig.conf b/proj/pureconfig.conf
@@ -1,11 +1,11 @@
-// https://github.com/pureconfig/pureconfig.git#v0.14.0
+// https://github.com/pureconfig/pureconfig.git#v0.15.0
 
 // frozen at tag because it's a version that happens to work with all
-// downstream projects at present (October 2020)
+// downstream projects at present (May 2021)
 
 vars.proj.pureconfig: ${vars.base} {
   name: "pureconfig"
-  uri: "https://github.com/pureconfig/pureconfig.git#f862b55c96de43fac1bd7def8ca6e521c3ede2e9"
+  uri: "https://github.com/pureconfig/pureconfig.git#62847954d867f5f80665e3a99309de309cc15921"
 
   extra.projects: ["core", "generic"]  // also pulls in macros, generic-base
 }
@@ -16,7 +16,7 @@ vars.proj.pureconfig: ${vars.base} {
 
 vars.proj.pureconfig-more: ${vars.base} {
   name: "pureconfig-more"
-  uri: "https://github.com/pureconfig/pureconfig.git#f862b55c96de43fac1bd7def8ca6e521c3ede2e9"
+  uri: "https://github.com/pureconfig/pureconfig.git#62847954d867f5f80665e3a99309de309cc15921"
 
   extra.exclude: [
     // we already built these above