[gnome-continuous] Tag gnome-shell

[Emmanuele Bassi <ebassi src gnome org>]

commit 662b02c7e7700b26184cf4b0af4d6d6fb0685d2e
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Tue Jun 25 00:17:10 2019 +0100

    Tag gnome-shell
    
    Mutter has been tagged, so we need to tag gnome-shell as well.

 manifest.json | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/manifest.json b/manifest.json
index 549cebc..f7de35c 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1220,6 +1220,8 @@
 
                {"src": "gnome:gnome-shell.git",
                  "name": "gnome-shell",
+                 "tag": "fe346b89f03614c0189951ca173cbf88701d6423",
+                 "tag-reason": "Mutter has been tagged",
                  "irc_room": "gnome-shell",
                 "config-opts": ["-Dgtk_doc=false",
                                  "-Dman=false",