mirror of
https://github.com/zulip/zulip.git
synced 2025-11-19 14:08:23 +00:00
It was there to work around https://bugs.python.org/issue17519. This workaround with del seems like a partial improvement. Signed-off-by: Anders Kaseorg <anders@zulip.com>
289 KiB
289 KiB