diff options
Diffstat (limited to 'changes/bug31736')
| -rw-r--r-- | changes/bug31736 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/changes/bug31736 b/changes/bug31736 new file mode 100644 index 0000000000..beb09e5069 --- /dev/null +++ b/changes/bug31736 @@ -0,0 +1,3 @@ + o Minor bugfixes (multithreading): + - Avoid some undefined behaviour when freeing mutexes. + Fixes bug 31736; bugfix on 0.0.7. |