content [nfc]: Use Divider instead of DecoratedBox.#836
Closed
PIG208 wants to merge 1 commit intozulip:mainfrom
Closed
content [nfc]: Use Divider instead of DecoratedBox.#836PIG208 wants to merge 1 commit intozulip:mainfrom
PIG208 wants to merge 1 commit intozulip:mainfrom
