mirror of
https://github.com/zulip/zulip.git
synced 2026-06-21 21:32:29 +08:00
This commit changes stream_data.is_user_subscribed to use stream id instead of stream name. We are using stream ids so that we can avoid bugs related to live update after stream rename. |
||
|---|---|---|
| .. | ||
| assets | ||
| audio | ||
| generated | ||
| html | ||
| images | ||
| js | ||
| shared | ||
| styles | ||
| templates | ||
| third | ||
| .eslintrc.json | ||
| .gitignore | ||
| favicon.ico | ||