Re: Colored output

Tue, 26 Mar 2019 09:31:08 -0700 

On 26/03/19 02:23, Bruno Haible wrote:


This patch should fix it.



It does, thank you.

-tgc
























					Reply via email to