diff options
Diffstat (limited to 'changes/bug23739')
| -rw-r--r-- | changes/bug23739 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/changes/bug23739 b/changes/bug23739 deleted file mode 100644 index 3207b5eaf3..0000000000 --- a/changes/bug23739 +++ /dev/null @@ -1,3 +0,0 @@ - o Minor bugfixes (documentation): - - Document better how to read gcov and what our postprocessing scripts do. - Fixes bug 23739; bugfix on 0.2.9.1-alpha. |