Dan Ritter wrote: > > https://lists.debian.org/debian-user/2025/10/threads.html > says > > The last update was on 16:20 GMT Tue Oct 21 > > which matches what's been received here. It just seems unlikely > to me that nobody has said anything in more than 24 hours in the > middle of the week. I see this, so apparently I was wrong -- there was just no traffic. -dsr-