Description of problem: An "owner" of gnome-tweak-tool claims that gnome-shell-extension-workspacesmenu-0-3.fc18 is broken. For a general description of this breakage see bug 911983. Version-Release number of selected component (if applicable): gnome-shell-extension-workspacesmenu-0-3.fc18
This package is no obsolete. Upstream is dead.