Muting

Is being able to have a specific keybind to mute a specific person, coming to discord? I'd really enjoy that, thanks!