mirror of
https://github.com/zulip/zulip.git
synced 2025-11-13 10:26:28 +00:00
We make this happen inside of canonicalize_term. (imported from commit 0571f6cac8ffdc806af56423cc98134c7493139e)
We make this happen inside of canonicalize_term. (imported from commit 0571f6cac8ffdc806af56423cc98134c7493139e)