aboutsummaryrefslogtreecommitdiff
path: root/changes/bug8031
diff options
context:
space:
mode:
Diffstat (limited to 'changes/bug8031')
-rw-r--r--changes/bug80317
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.