Merge branch 'remove_digests'

2024-12-06 19:41:15 +01:00 · 2015-04-01 13:53:03 -04:00
parent cd8f13b5cb ad3c2f1c92
commit d366c3354f
10 changed files with 7 additions and 74 deletions
@@ -0,0 +1,5 @@
+  o Removed features:
+    - Remove the undocumented "--digests" command-line option. It
+      complicated our build process, caused subtle build issues
+      on multiple platforms, and is now redundant since we started
+      including git version identifiers. Closes ticket 14742.