There was supposed to be a short (5-15 minutes) downtime as the server was downsized from the GRCon boost we got, but I also see it down at the moment. Checking in on it.
On 15/10/2020 22:48, Jeff Long wrote: > Same here. > > On Thu, Oct 15, 2020 at 5:31 PM Marcus D. Leech > <[email protected] <mailto:[email protected]>> wrote: > > Seems like chat.gnuradio.org <http://chat.gnuradio.org> has been > misbehaving for the last couple of > hours. > >
