Merge branch 'tor-github/pr/1697'

This commit is contained in:
David Goulet
2020-01-30 13:48:36 -05:00
2 changed files with 6 additions and 1 deletions
+5
View File
@@ -0,0 +1,5 @@
o Minor bugfixes (logging, bug reporting):
- When logging a bug, do not say "Future instances of this warning
will be silenced" unless we are actually going to do
so. Previously we would say this whenever a BUG() check failed in
the code. Fixes bug 33095; bugfix on 0.4.1.1-alpha.