DrTrigon has submitted this change and it was merged.
Change subject: improvements; * docs link * User:Drtrigon links pointing to
tool-labs * bugfix for irc bot status * bugfix for core log filename style
(hacky - for irc bot only!) * link on info panel renamed
..
DrTrigon has uploaded a new change for review.
https://gerrit.wikimedia.org/r/115611
Change subject: improvements; * docs link * User:Drtrigon links pointing to
tool-labs * bugfix for irc bot status * bugfix for core log filename style
(hacky - for irc bot only!) * link on info panel renamed