diff options
Diffstat (limited to 'changes/bug7164_diagnostic')
| -rw-r--r-- | changes/bug7164_diagnostic | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/changes/bug7164_diagnostic b/changes/bug7164_diagnostic deleted file mode 100644 index 8bedfc4bd5..0000000000 --- a/changes/bug7164_diagnostic +++ /dev/null @@ -1,4 +0,0 @@ - o Minor features (bug diagnostic): - - If we fail to free a microdescriptor because of bug #7164, log - the filename and line number from which we tried to free it. - This should help us finally fix #7164. |