On 13 November 2017 at 17:10, Alvaro Herrera <alvhe...@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
