On Mon, May 13, 2013 at 9:06 AM, Petr Bena benapetr@gmail.com wrote:
wm-bot is back as it used to be. Should there be any problem with anything - poke me on irc, nick petan
Thanks! wm-bot is very useful, and your diligence in reporting the outage and fixing it was excellent.