Mark H Weaver <[email protected]> skribis: > The package list on the website was last updated on 7 Dec 2017. Its > cron job was disabled when the website was updated. It would be good to > get that working again at some point.
Yes, see <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26006#107>. Ludo’.
