Date: Thu, 6 Oct 2016 22:36:48 +0200 From: Jaromír Doleček <jaromir.dolecek%gmail.com@localhost> I've incorporated the mutex fix, here is the final patch relative to trunk. I'd like to commit this sometime next week. OK, thanks, I'll try to find time to review in the next couple days!