The server on which this board is hosted will be rebooted on 11 May at about 8am UK time. I’ll take the opportunity to install the new dice roller bot. As always, see https://status.firedrake.org/ for updates.
2 Likes
And this may even work as a countdown (or it may get cached so don’t rely on that).
3 Likes
All done. Shiny new dice roller in place.
1 Like