format
Signed-off-by: Anders Kaseorg <anders@zulip.com> (cherry picked from commit e932e2ce52)
e932e2ce52