On 6 March 2018 at 04:03, Elias Zamaria <mikez...@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 | ncogh...@gmail.com | Brisbane, Australia
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
