|
From: | Tom G. Christensen |
Subject: | Re: Colored output |
Date: | Tue, 26 Mar 2019 17:30:38 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 |
On 26/03/19 02:23, Bruno Haible wrote:
This patch should fix it.
It does, thank you. -tgc
[Prev in Thread] | Current Thread | [Next in Thread] |