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