From 7decfe92c91573cf0fa32946b2f14f00cef5b077 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Wed, 21 Aug 2013 00:06:18 +0200
Subject: [PATCH] <name> should match repository's name.

Andrea's been patching every module in GNOME for this, let's make
his life easier.
---
 gnome-shell-extensions.doap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnome-shell-extensions.doap b/gnome-shell-extensions.doap
index dbce9808..9d1b5dc6 100644
--- a/gnome-shell-extensions.doap
+++ b/gnome-shell-extensions.doap
@@ -4,7 +4,7 @@
          xmlns:gnome="http://api.gnome.org/doap-extensions#"
          xmlns="http://usefulinc.com/ns/doap#">
 
-  <name xml:lang="en">GNOME Shell Extensions</name>
+  <name xml:lang="en">gnome-shell-extensions</name>
   <shortdesc xml:lang="en">Modify and extend GNOME Shell functionality and behavior</shortdesc>
   <description xml:lang="en">
 GNOME Shell Extensions is a collection of extensions providing