From a8fcaed3a8428d3c0caf53cc6704c899a26f2553 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Fri, 19 Apr 2013 11:12:59 -0400 Subject: Remove changes files which were merged in release-0.2.4 --- changes/bug8031 | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 changes/bug8031 (limited to 'changes/bug8031') diff --git a/changes/bug8031 b/changes/bug8031 deleted file mode 100644 index 17329ec5b5..0000000000 --- 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. -- cgit v1.2.3-54-g00ecf