Skip to content

Patch server mute evasion #36

Open
Open
Patch server mute evasion#36
Labels
enhancementNew feature or requestlow priority
@ya64

Description

@ya64
ya64
opened on Jun 12, 2020

People can evade a server mute (not to be confused with the role Muted) if they leave the server

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestlow priority

    Projects

    Bot Progress

    Status

    To do

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions