mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2026-04-27 05:05:54 -04:00
c25095ba2d
* [Core] Use menus for [p]servers, improve [p]leave * Apply suggestions from code review Co-authored-by: Samuel <50765275+npc203@users.noreply.github.com> * Few more changes * Add empty line... * style Co-authored-by: jack1142 <6032823+jack1142@users.noreply.github.com> Co-authored-by: Samuel <50765275+npc203@users.noreply.github.com>