appFavorites: Update RENAMED_DESKTOP_IDS (!492) · Merge requests · GNOME / gnome-shell · GitLab

The source project of this merge request has been removed.

Daniel Rusek requested to merge (removed):patch-1 into master Apr 11, 2019

Fixes #1160 (closed).