On Wed, Jun 19, 2013 at 8:06 AM, Tim Ruehsen <[email protected]> wrote:
> Hi Ivan,
>
> the problem was reproducible.
>
> Here is a patch to fix the issue.

Great, thanks for the fast response!  It works with the patch.

Ivan

Reply via email to