[jhbuild] [3.12] Switch gnome-shell and mutter to the stable branch

[Giovanni Campagna <gcampagna src gnome org>]

commit f7daa15cae9c1f5bd73b982faa628d798fb987b5
Author: Giovanni Campagna <scampa giovanni gmail com>
Date:   Thu Apr 10 20:00:45 2014 +0200

    [3.12] Switch gnome-shell and mutter to the stable branch

 modulesets/gnome-suites-core-3.12.modules |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/modulesets/gnome-suites-core-3.12.modules b/modulesets/gnome-suites-core-3.12.modules
index cec5289..871620c 100644
--- a/modulesets/gnome-suites-core-3.12.modules
+++ b/modulesets/gnome-suites-core-3.12.modules
@@ -310,7 +310,7 @@
     <if condition-unset="linux">
       <autogenargs value="--disable-networkmanager"/>
     </if>
-    <branch/>
+    <branch revision="gnome-3-12"/>
     <dependencies>
       <dep package="accountsservice"/>
       <dep package="caribou"/>
@@ -420,7 +420,7 @@
   </autotools>
 
   <autotools id="mutter" autogenargs="--enable-compile-warnings=maximum">
-    <branch />
+    <branch revision="gnome-3-12"/>
     <dependencies>
       <dep package="upower"/>
       <dep package="clutter"/>