March 6, 2018
1:34 a.m.
On 6 March 2018 at 04:03, Elias Zamaria <mikez302@gmail.com> wrote:
Thanks for the suggestions, everyone. I think for now, I'll just try to deal with it and maybe set up some filtering in Gmail. I'm not sure if it is worth changing my habits and getting over the learning curve of these tools just to deal with this one mailing list.
One useful feature in Gmail for getting the entire list out of your inbox is the "Filter messages like this" option in the per-message drop down (it prepopulates a new filter definition with the appropriate list headers). Cheers, Nick. -- Nick Coghlan | ncoghlan@gmail.com | Brisbane, Australia