bug31736 136 B

123
  1. o Minor bugfixes (multithreading):
  2. - Avoid some undefined behaviour when freeing mutexes.
  3. Fixes bug 31736; bugfix on 0.0.7.