7.2.0 (2026-05-26)

Features

• This release adds behind-the-scenes groundwork for push notifications on Android (the kind that won't eat battery life) but push notifications won't be available until we launch our Quiet Push Service in an upcoming.

Fixes

• The user profile tab at the bottom of the sidebar now has the correct opacity and layout, and the faint horizontal stripe that appeared on some platforms and window sizes is gone now. #3184