Tim Ruehsen <[email protected]> writes:

> Hi Ivan,
>
> the problem was reproducible.
>
> Here is a patch to fix the issue.

thanks for the patch, I am going to push it.

-- 
Giuseppe

Reply via email to