mirror of
https://github.com/zulip/zulip.git
synced 2025-11-11 01:16:19 +00:00
Adds possibility for users to use | as an OR-operator (besides ,) when searching for other users. This is a thing reasonable folks might try, and | in the thing to search for isn't a realisitic possibility, so there's no real downside to adding this. Fixes #4109.
8.4 KiB
8.4 KiB