On 13 November 2017 at 17:10, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
> Geoff Winkless wrote:
>> The removal of the [HACKERS] (etc) header will be frustrating for me: I do
>> not sort mailing lists into folders (I simply scan the "Forums" autofilter
>> in gmail) and have no wish to do so, and there is no way to make such a
>> machine-readable header visible in gmail.
>
> Maybe you could add a filter that add labels based on the headers?
Hmm. I didn't even know gmail could do that, thanks!
Anyone who also didn't know this, you just add
list:"<pgsql-hackers.lists.postgresql.org>"
to the "Includes the words" field in the filter creation.
Geoff