mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2025-11-06 03:08:55 -05:00
* [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>