[gnome-shell-extensions] <name> should match repository's name.

[Giovanni Campagna <gcampagna src gnome org>]

commit 7decfe92c91573cf0fa32946b2f14f00cef5b077
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Aug 21 00:06:18 2013 +0200

    <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 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gnome-shell-extensions.doap b/gnome-shell-extensions.doap
index dbce980..9d1b5dc 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