I saw a bunch of ping timeouts on IRC and was wondering, yours among them. :-). See you soon back online! On Mon, Mar 16, 2020 at 6:55 PM Paul McKenney <paulmckrcu@xxxxxxxxx> wrote: > > More than 2000 affected. Current repair estimate 6:45 PM PDT. For some reason, going to the local coffee shop seems less attractive than it might have a few weeks ago. :-) > > Thanx, Paul
