diff options
Diffstat (limited to 'changes')
| -rw-r--r-- | changes/17826 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/changes/17826 b/changes/17826 new file mode 100644 index 0000000000..7d0a17afee --- /dev/null +++ b/changes/17826 @@ -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. + |