On Tue, Oct 2, 2018 at 3:40 PM, Dominik 'Rathann' Mierzejewski <dominik@greysector.net> wrote:
Stop sending e-mail to public mailing lists using Gmail, then?

Perhaps we've reached the end of meaningful conversation in this thread....