[jhbuild] core-3.12: gnome terminal depends on gnome-shell to generate search provider

[Javier Jardón <jjardon src gnome org>]

commit 495863c4b559e7bf7e4d9c540e26d5c579ced495
Author: Javier Jardón <jjardon gnome org>
Date:   Thu Mar 6 11:26:21 2014 +0000

    core-3.12: gnome terminal depends on gnome-shell to generate search provider

 modulesets/gnome-suites-core-3.12.modules |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/modulesets/gnome-suites-core-3.12.modules b/modulesets/gnome-suites-core-3.12.modules
index 96bce43..f243f44 100644
--- a/modulesets/gnome-suites-core-3.12.modules
+++ b/modulesets/gnome-suites-core-3.12.modules
@@ -729,6 +729,9 @@
       <dep package="yelp-tools"/>
       <dep package="nautilus"/>
     </dependencies>
+    <suggests>
+      <dep package="gnome-shell"/>
+    </suggests>
   </autotools>
 
   <autotools id="gnome-user-docs">