Alan Guo Xiang Tan bc58ee5f85

FIX: Clicking on edited notification should open edit history modal (#21631) ...

This is a regression introduced when we redesigned the user menu

2023-05-19 13:55:43 +08:00

..

images

FIX: fallback to default push notification icon if none exists (#16961)

2022-06-01 12:00:05 +10:00

javascripts

FIX: Clicking on edited notification should open edit history modal (#21631)

2023-05-19 13:55:43 +08:00

stylesheets

UX: tweak on logo size to make sure it's not too small on small screen (#21644)

2023-05-18 13:11:53 -06:00