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