mirror of
https://github.com/zulip/zulip.git
synced 2025-11-16 03:41:58 +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