Package: lists.debian.org X-Debbugs-Cc: debian-...@lists.debian.org The web archive for debian-efi@ at https://lists.debian.org/debian-ci/ do not seem to get updated since this month. There have been at least two messages that went over the list this month, but they aren't shown in the archive.
Ansgar
