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