> Hi all,
>
> Here's a fix for #1703.  The commit message says it all.
>

Pushed, thanks.


felix


Reply via email to