Checking to confirm hypothesis that Gmail removes Mailman-relayed messages that bear the same Message-ID as the original. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/tex-live/attachments/20200419/fd32a420/attachment.html>