Skip to content

botserver: Fix mypy error.#687

Merged
timabbott merged 1 commit intozulip:masterfrom
LoopThrough-i-j:fix_mypy_error
May 12, 2021
Merged

botserver: Fix mypy error.#687
timabbott merged 1 commit intozulip:masterfrom
LoopThrough-i-j:fix_mypy_error

Commits

Commits on May 12, 2021