Hello, [email protected] (Ludovic Courtès) writes:
> 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’. That's long settled :-) Closing, Thanks! Maxim
