=== jpds_ is now known as jpds === V0rTechS is now known as VorTechS === Guest25890 is now known as Zic === Guest66604 is now known as Zic === dgjones is now known as DJones [16:43] Is the bot for #ubuntu-bugs broken or missing today? [16:55] charlie-tca: which bot #ubuntu-bugs has? [16:56] there are many bots around ;) [16:56] none apparently. It had ubot4 [16:56] m4v: should be ubot4, as far as I can remember [16:57] Considering it is the channel that bugs get worked in, it really needs one that gives us the bug report information. [16:57] pleia2: jpds: ping? ^ [16:58] I'd doublecheck with jpds, I think he moved ubot4 off my server [16:58] Argh. [16:59] this is not big deal, as long as we have a nice bot ;-) [17:01] pleia2, jpds: if we need a server, I can provide one (already in use for eeeBotu on #u-bug-announce and #ayatana-bugs [17:01] ) [17:01] Got one, relaunching the bot. [17:02] jpds: mind if I lock your account on -us? [17:02] pleia2: No. [17:02] ok, thanks [17:15] charlie-tca: And should be back. [17:16] Thank you [18:07] @misc last [18:07] Mkaysi: [17:16:24] Thank you [18:07] Mkaysi: [18:16:22] Thank you [18:07] jpds: @defaultcapability remove misc.last [18:07] owner of ubot2: ^^ [18:08] They can be crashed very easily with one command [18:24] Hmm, if I think about it, finding out owner is very easy [18:24] @user list --capability=owner [18:24] Mkaysi: jpds [18:24] Mkaysi: jpds [18:24] And of course jpds is away