On Mon, Jul 25, 2016 at 6:48 PM, Juan Francisco Cantero Hurtado
<i...@juanfra.info> wrote:
> Your patch fixes the problem. Thanks!

Thanks for the report; it's been committed for 6.0.

Philip Guenther

Reply via email to