On Wed, Jun 28, 2017 at 1:08 PM, Benjamin <nystire at gmail.com> wrote: > > Thank you. It seems to work now. :) Thanks for reporting and testing. I committed and pushed out the fix to the git trees too, so that nobody else unnecessarily get bitten by this. Linus