Hi Arne,

just "git pull", the fix was committed 10 minutes ago ("dev18-53").



Lukas                                     

Reply via email to