Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
50,334 Commits 28 Branches 142 Tags 769 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
Abhijeet Prasad Bodas 9fde88796a mute user: Remove unnecessary check for double muting. 
In 141b0c4, we added code to handle races caused by duplicate muting
requests. That code can also handle the non-race condition, so we don't
require the first check.
 2023-02-20 21:04:13 -08:00
Tim Abbott 387f178ef1 lint: Fix import sort order. 2023-02-10 15:47:32 -08:00
Abhijeet Prasad Bodas 9d1c131dc6 muted users: Make file naming consistent. 
This makes the names of the relevant files consistant with the database
model name as well as the frontend JS files.
 2023-02-10 15:39:57 -08:00