On 02/25/2018 01:59 AM, Bruno Haible wrote:
This patch fixes it.

Thanks for the quick fix. Works for me.

Have a nice day,
Berny

Reply via email to