server bot problems

Right now, probably due to the netsplit from last night, we have no working bot in #winbolo. Alexmbot and nycbot are not there, and bottie isn't working - we can't join its games.

SO..... HELP!

It'd be great if someone can either get alexmbot and nycbot back in there and/or bring their own server bot.