**** BEGIN LOGGING AT Sun Apr 26 02:59:57 2020 Apr 26 14:55:21 gah, all the mailing list list IDs changed yet again, time for another rework of my local filters Apr 26 15:09:48 I'm guessing that admin changes on groups.io result in changes to List-Id Apr 26 19:28:47 oh, maybe that's why shit keeps showing up in my inbox instead of my folders/labels lately Apr 26 19:28:53 was wondering what the deal was Apr 26 22:31:06 khem, time64 strikes again...https://github.com/richfelker/musl-cross-make/issues/96 Apr 26 22:31:26 from #armlinux **** ENDING LOGGING AT Mon Apr 27 02:59:57 2020