On Mon, Jul 25, 2016 at 6:48 PM, Juan Francisco Cantero Hurtado
<[email protected]> wrote:
> Your patch fixes the problem. Thanks!

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

Philip Guenther

Reply via email to