Skip to content

msglist: Simplify safe-area handling; fix a small bug#8

Merged
gnprice merged 4 commits intozulip:mainfrom
chrisbobbe:pr-simplify-safe-area-handling
Feb 17, 2023
Merged

msglist: Simplify safe-area handling; fix a small bug#8
gnprice merged 4 commits intozulip:mainfrom
chrisbobbe:pr-simplify-safe-area-handling

Commits

Commits on Feb 8, 2023

Commits on Feb 13, 2023

Commits on Feb 16, 2023