<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 6 March 2018 at 04:03, Elias Zamaria <span dir="ltr"><<a href="mailto:mikez302@gmail.com" target="_blank">mikez302@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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.</div></blockquote><div><br></div></div>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).<br><br></div><div class="gmail_extra">Cheers,<br></div><div class="gmail_extra">Nick.<br clear="all"></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Nick Coghlan   |   <a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>   |   Brisbane, Australia</div>
</div></div>