Lukas Tribus Fri, 31 May 2013 05:13:44 -0700
Hi Arne, just "git pull", the fix was committed 10 minutes ago ("dev18-53").
Lukas