Request for email removal

Will you please see if there are any emails that go to Elias Pipping <[email protected]> from any mailing lists at common-lisp.net?

Possible alternative address [email protected]

Elias died some time ago and I have heard from his mother that he still gets emails, and she would like them cut off.

Ideally, it would also be good if he could be removed from any gitlab watch lists, etc., as well (Elias Pipping, @epipping) Maybe you could just blacklist his address from outgoing mail?

Thank you,
Robert