=== mkv is now known as m4v
[13:27] <dholbach> hiya
[13:27] <dholbach> can somebody check if the bot is gone from #ubuntu-devel
[13:27] <dholbach> I mean the one that responds to "@pilot"
[13:30] <Pici> dholbach: looks like it wasn't restarted after the ubottu.com migration... give me a few minutes
[13:30] <dholbach> thanks Pici
[13:33] <Pici> dholbach: should be good now
[13:35] <dholbach> cool, thanks
[13:36] <Pici> (also added it to the monitoring dashboard)
=== mkv is now known as m4v