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
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