The archive updated. The bug report appeared on the web page about 2 hours after I sent it.
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. On Fri, Dec 21, 2018 at 4:58 PM Keith Thompson <[email protected]> wrote: > > I sent a bug report to to [email protected] at Fri 2018-12-21 15:43 PST. > > The archive is supposed to update every 30 minutes, but an hour later > my message hasn't > shown up on http://lists.gnu.org/archive/html/bug-texinfo/2018-12/index.html > > Not a huge deal, but someone might want to look into it.
