On Tuesday, June 21st, 1:20p.m:
reproduction steps: go to a user’s profile, select the “Normal” drop-down on the top-right, mute the user
it is supposed to only mute the targeted user, but after you mute that user it will also show that other users are muted, even those you never muted
targeted user:
after the fact that the user has been muted, it also shows that other people you didn’t mute are muted;