Merge "Workaround fix for acorn mutex printing for now"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 12 May 2017 19:50:06 +0000 (22:50 +0300)
committerGerrit Code Review <gerrit2@www.simantics.org>
Fri, 12 May 2017 19:50:06 +0000 (22:50 +0300)

Trivial merge