<div dir="ltr">silently deleting the thread isn't noise.  posting that was, randy.<div><br></div><div>t</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 22, 2019 at 4:23 PM Randy Bush <<a href="mailto:randy@psg.com">randy@psg.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">my deep sympathies go out to those folk with real work to do whose mail<br>
user agents do not have a `delete thread` key sequence.<br>
</blockquote></div>