On Dez 21 2018, Keith Thompson <[email protected]> wrote: > It might be worth looking into, since the web page says "Archives are > refreshed every 30 minutes", > but I'm not going to worry about it and I don't expect a response to this.
Could be related to the provider change. Andreas. -- Andreas Schwab, [email protected] GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
