mirror of
https://github.com/zulip/zulip.git
synced 2025-11-09 08:26:11 +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>
9.2 KiB
9.2 KiB