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