Merge remote-tracking branch 'tor-github/pr/1346' into maint-0.4.1

This commit is contained in:
Nick Mathewson
2019-10-22 12:11:50 -04:00
8 changed files with 60 additions and 5 deletions
+3
View File
@@ -0,0 +1,3 @@
o Minor bugfixes (multithreading):
- Avoid some undefined behaviour when freeing mutexes.
Fixes bug 31736; bugfix on 0.0.7.