[gnome-shell-extension-workspacesmenu] 2014-06-04 - This package was already retired in pkgdb/blocked in koji, but no dead.package file exi

[Till Maas]

commit fe02e850a92d4b5086695b3f936f41bcbe27f84a
Author: Till Maas <opensource at till.name>
Date:   Wed Jun 4 19:43:07 2014 +0200

    2014-06-04 - This package was already retired in pkgdb/blocked in koji, but no dead.package file existed. The original retirement reason is unclear.

 .gitignore                                |    1 -
 dead.package                              |    1 +
 gnome-shell-extension-workspacesmenu.spec |   57 -----------------------------
 sources                                   |    1 -
 4 files changed, 1 insertions(+), 59 deletions(-)
---
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..5784d07
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+2014-06-04 - This package was already retired in pkgdb/blocked in koji, but no dead.package file existed. The original retirement reason is unclear.