mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 13:33:24 +00:00
This saves a couple lines of spammy output in the run-dev.py startup experience, and will be better output in production as well.
This saves a couple lines of spammy output in the run-dev.py startup experience, and will be better output in production as well.