Bianca Nenciu b81afa0756 FIX: Update user results page when no users found (#18363) ... The page was not updated if the server did not return any results. This caused the page to be either empty or display the previous result set.		2022-09-26 16:37:56 +03:00
..
images	FIX: fallback to default push notification icon if none exists (#16961)	2022-06-01 12:00:05 +10:00
javascripts	FIX: Update user results page when no users found (#18363)	2022-09-26 16:37:56 +03:00
stylesheets	UX: Fix cut-off accents in sidebar headings (#18349)	2022-09-23 17:18:58 -07:00