mirror of https://github.com/zulip/zulip.git
f67acb3157
This fixes a blueslip error where we were trying to add the same message into a MessageList twice. Muting complicates our duplicate detection, because empty() can return true even when we already are storing messages that just aren't shown (because of muting). The name empty() should probably be fixed in light of muting, but filtering with self.get() is not really a problem here. (imported from commit 83b0890471c9a0aa21996f3d0d3be4a238f23e65) |
||
|---|---|---|
| .. | ||
| audio | ||
| html | ||
| images | ||
| js | ||
| styles | ||
| templates | ||
| third | ||
| .gitignore | ||
| favicon.ico | ||
| robots.txt | ||