Re: color by default

[Isaac Morland]

On Tue, 31 Dec 2019 at 10:18, Alvaro Herrera <alvhe...@2ndquadrant.com>
wrote:

Per https://no-colors.org (thanks for the link) it seems pretty clear
>

https://no-color.org