Hi,

On Tue, Jun 10, 2014 at 4:22 PM, Julian Reschke <[email protected]> wrote:
> OK; in which case I'd propose to change the tool to return with a helpful
> error message :-)

+1 Works for me.

BR,

Jukka Zitting

Reply via email to