Jean 0e90dd8020 BotServ: richer INFO ... INFO <#channel> now lists the BotServ options in effect (greets, kickers, nobot) alongside the assigned bot; INFO <bot> flags a private bot.		2026-07-13 17:38:51 +00:00
..
src	BotServ: richer INFO	2026-07-13 17:38:51 +00:00
Cargo.toml	botserv: bot registry + BOT ADD/DEL/LIST (first slice)	2026-07-13 04:33:27 +00:00