[gnome-continuous] Drop unnecessary patch

[Emmanuele Bassi <ebassi src gnome org>]

commit df98f88a958dcfa02b2c943fa86bfb14e5fb18ba
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Fri Dec 1 15:12:02 2017 +0000

    Drop unnecessary patch
    
    The hacky patch for gnome-shell is not necessary any more.

 manifest.json |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 229ba83..e0b6b3d 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1113,7 +1113,6 @@
                {"src": "gnome:gnome-power-manager"},
 
                {"src": "gnome:gnome-shell",
-                 "patches": ["gnome-shell-gir-hack.patch"],
                  "irc_room": "gnome-shell",
                 "config-opts": ["-Dgtk_doc=false",
                                  "-Dman=false",