ui: Rename streams to channels in user-facing strings#707

Merged

gnprice merged 2 commits intozulip:mainfrom

Khader-1:ui-rename-streams-to-channels

Jun 7, 2024

Commits on Jun 7, 2024

ui: Rename stream to channel in user-facing strings

Khader-1
authored and
gnprice
committed
i18n: Follow stream-channel rename in our one translation, too
gnprice
committed