Skip to content

🤖 fix: reclaim the mobile bottom band and move the PR badge to the header - #3757

Merged
ibetitsmike merged 5 commits into
mainfrom
mike/mobile-status-bar
Jul 29, 2026
Merged

🤖 fix: reclaim the mobile bottom band and move the PR badge to the header#3757
ibetitsmike merged 5 commits into
mainfrom
mike/mobile-status-bar