[jhbuild] 3.8: gnome-shell-extensions branched for 3.8

[Luca Ferretti <lferrett src gnome org>]

commit 06a151ed83096e6f15b208f4a6c2e66e327b1baa
Author: Luca Ferretti <lferrett gnome org>
Date:   Fri May 31 22:04:53 2013 +0200

    3.8: gnome-shell-extensions branched for 3.8

 modulesets/gnome-suites-core-3.8.modules |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/modulesets/gnome-suites-core-3.8.modules b/modulesets/gnome-suites-core-3.8.modules
index 4266308..1bc664d 100644
--- a/modulesets/gnome-suites-core-3.8.modules
+++ b/modulesets/gnome-suites-core-3.8.modules
@@ -955,7 +955,7 @@
   </autotools>
 
   <autotools id="gnome-shell-extensions" autogenargs="--enable-extensions=classic-mode">
-    <branch/>
+    <branch revision="gnome-3.8"/>
     <dependencies>
       <dep package="gnome-shell"/>
     </dependencies>