mirror of
https://github.com/zulip/zulip.git
synced 2025-11-12 18:06:44 +00:00
Instead of starting up one event loop for every device send, use asyncio.gather to send to all of a user's devices at once.
129 KiB
129 KiB