Anders Kaseorg 2cf2547b27 export: Add missing datetime fields for post-processing. ...

datetime objects are not ordinarily JSON serializable.  While both
ujson and orjson have special cases to serialize datetime objects,
they do it in different ways.  So we want to fix the post-processing
code to do its job.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

2020-08-11 10:47:13 -07:00

67 KiB

Raw Blame History

View Raw