[gnome-continuous] Tag gnome-shell

[Emmanuele Bassi <ebassi src gnome org>]

commit f67ef3bc3da54f8c51e71721c8cd01a73df60966
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Tue Oct 3 16:30:06 2017 +0100

    Tag gnome-shell
    
    Let's try and find a commit that does not break.

 manifest.json |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 63ed947..6a4062c 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1125,9 +1125,9 @@
                {"src": "gnome:gnome-power-manager"},
 
                {"src": "gnome:gnome-shell",
+                 "tag": "c9d5677c2f05adc63cfb7f5aebe78072681ff52a",
                  "irc_room": "gnome-shell",
-                "config-opts": ["--enable-compile-warnings=maximum",
-                                 "--disable-man"]},
+                "config-opts": ["--disable-man"]},
 
                {"src": "gnome:gnome-shell-extensions",
                 "config-opts": ["--enable-extensions=classic-mode"]},