Please ignore the previous message - I see that it is now working again!
David
On Thu, 12 Jan 2023 at 08:21, David Nind <david@davidnind.com> wrote:
Hi Chris.
Looks like the IRC server it is misbehaving, and has kicked the bot off
again! 8-(
David Nind
