diff options
Diffstat (limited to 'changes/bug8031')
| -rw-r--r-- | changes/bug8031 | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/changes/bug8031 b/changes/bug8031 deleted file mode 100644 index 17329ec5b..000000000 --- a/changes/bug8031 +++ /dev/null @@ -1,7 +0,0 @@ - o Minor bugfixes: - - Use direct writes rather than stdio when building microdescriptor - caches, in an attempt to mitigate bug 8031, or at least make it - less common. - - Warn more aggressively when flushing microdescriptors to a - microdescriptor cache fails, in an attempt to mitegate bug 8031, - or at least make it more diagnosable. |