Skip to content

Use orjson instead of ujson for annotations.#802

Merged
manthey merged 1 commit intomasterfrom orjsonMar 18, 2022

Commits

Commits on Mar 18, 2022