[arch-dev-public] Arch Mailing Lists

[Jud]

Just a quick note to ask if all the Arch Mailing List Archives are
working properly? The last archive was Nov 21.