Bug 912103

Summary:	gnome-shell-extension-mediaplayers does not work with the current GNOME
Product:	[Fedora] Fedora	Reporter:	Michal Jaegermann <michal>
Component:	gnome-shell-extension-mediaplayers	Assignee:	Orphan Owner <extras-orphan>
Status:	CLOSED DUPLICATE	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	18	CC:	extras-orphan
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:		Doc Type:	Bug Fix
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2013-02-17 18:13:27 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

Description Michal Jaegermann 2013-02-17 17:48:20 UTC

Description of problem:

An "owner" of gnome-tweak-tool claims that gnome-shell-extension-mediaplayers-0-0.4.git1225d49.fc18 is broken.  For a general description of this breakage see bug 911983.

Version-Release number of selected component (if applicable):
gnome-shell-extension-mediaplayers-0-0.4.git1225d49.fc18

Comment 1 Michal Jaegermann 2013-02-17 18:13:27 UTC

bugzilla is half dead and does not react for prolonged times

*** This bug has been marked as a duplicate of bug 912101 ***