From b76fe12209e2c3224bd327959755d1f8c018a3c8 Mon Sep 17 00:00:00 2001
From: "Owen W. Taylor" <otaylor@fishsoup.net>
Date: Wed, 28 Jul 2010 17:03:56 -0400
Subject: [PATCH] [gnome-shell.modules] Work around problem of git with 'gtk+'

Use gtk%2b in the checkout URL, since recent versions of GIT have
trouble with the '+' in gtk+.

https://bugzilla.gnome.org/show_bug.cgi?id=625135
---
 tools/build/gnome-shell.modules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/build/gnome-shell.modules b/tools/build/gnome-shell.modules
index 73713954e..fd87d5edb 100644
--- a/tools/build/gnome-shell.modules
+++ b/tools/build/gnome-shell.modules
@@ -85,7 +85,7 @@
   </autotools>
 
   <autotools id="gtk3">
-    <branch checkoutdir="gtk3" repo="git.gnome.org" module="gtk+"/>
+    <branch checkoutdir="gtk3" repo="git.gnome.org" module="gtk%2b"/>
     <dependencies>
       <dep package="glib"/>
       <dep package="pango"/>