BotAdmins: admin hostmasks can now be either regex (.*!.*@host) or wildcard (*!*@host)
BotAdmins: admin hostmasks can now be either regex (.*!.*@host) or wildcard (*!*@host)

pragma-/pbot,pragma-/pbot,pragma-/pbot,pragma-/pbot