On Wed, 2017-02-15 at 10:22 +0100, Sebastian Huber wrote: > Hello, > > with the retargetable locking and a couple of other things since the > last release it would be great to have a new snapshot. +1 I was going to propose the same thing, but at the end of the month (; Regards, FCh