On Mon, May 13, 2013 at 9:06 AM, Petr Bena <benapetr(a)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.