Index: gnome/platform/gnome-shell-extensions.xml
===================================================================
--- gnome/platform/gnome-shell-extensions.xml (revision 0c26fae19bb40316fe0bcf026ab634ffbc8392c7)
+++ gnome/platform/gnome-shell-extensions.xml (revision 12f909b0f35c0928d54eea3ddabdc876f81d38e9)
@@ -83,7 +83,5 @@
Optional
- and
- (runtime,
- for applications menu extension)
+