On 2013-12-12 00:00, J. Schaller wrote: > That actually sounds like a punishment :P - please publish if bugs are > fixed to keep us users from getting frustrated. I will do soon. however you can also use latest master always if you want the lowest amount of bugs. git repo is nothing closed. Georg