Merge remote-tracking branch 'public/17826_redux'

2024-12-06 19:41:15 +01:00 · 2016-01-07 09:52:09 -08:00
parent 55232e32c7 263f6d11fd
commit 77bc95cb5e
3 changed files with 13 additions and 2 deletions
@@ -0,0 +1,5 @@
+  o Minor bugfixes (build):
+    - Mark all object files that include micro-revision.i as depending on
+      it, so as to make our build more reliable with parallel builds.
+      Fixes bug 17826; bugfix on 0.2.5.1-alpha.
+