[gnome-shell/wip/arnaudb/renamed-desktop-ids] Change Iagno renamed desktop id.

[Arnaud B. <arnaudb src gnome org>]

commit eabb02d3da42caee78c14e269ac3a438258dede4
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Wed Feb 13 13:12:24 2019 +0100

    Change Iagno renamed desktop id.
    
    Iagno is org.gnome.Reversi,
    instead of org.gnome.Iagno.

 js/ui/appFavorites.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 5f17c806d..7def1571e 100644
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -41,7 +41,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',
+    'iagno.desktop': 'org.gnome.Reversi.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
     'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop',
     'polari.desktop': 'org.gnome.Polari.desktop',