[gnome-shell] Add Iagno to appFavorites

[Florian Müllner <fmuellner src gnome org>]

commit ddb3a5c6257e7fb79ac050307ac21c5febec0585
Author: Bilal Elmoussaoui <bil elmoussaoui gmail com>
Date:   Tue Jan 15 15:31:13 2019 +0000

    Add Iagno to appFavorites

 js/ui/appFavorites.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 9de707047..3bdf04efb 100644
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -30,6 +30,7 @@ const RENAMED_DESKTOP_IDS = {
     'gnome-documents.desktop': 'org.gnome.Documents.desktop',
     'gnome-font-viewer.desktop': 'org.gnome.font-viewer.desktop',
     'gnome-nibbles.desktop': 'org.gnome.Nibbles.desktop',
+    'gnome-mahjongg.desktop': 'org.gnome.Mahjongg.desktop',
     'gnome-music.desktop': 'org.gnome.Music.desktop',
     'gnome-photos.desktop': 'org.gnome.Photos.desktop',
     'gnome-screenshot.desktop': 'org.gnome.Screenshot.desktop',
@@ -41,6 +42,7 @@ const RENAMED_DESKTOP_IDS = {
     'gnotravex.desktop': 'gnome-tetravex.desktop',
     'gnotski.desktop': 'gnome-klotski.desktop',
     'gtali.desktop': 'tali.desktop',
+    'iagno.desktop': 'org.gnome.Iagno.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
     'polari.desktop': 'org.gnome.Polari.desktop',
     'totem.desktop': 'org.gnome.Totem.desktop',