[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#580888: marked as done (RFP: gnome-media-player -- GNOME Media Player is a simple media player for GNOME.)

Your message dated Sat, 13 Aug 2016 09:57:25 +0000
with message-id <E1bYVgz-0005ZR-Vg@quantz.debian.org>
and subject line closing RFP: gnome-media-player -- GNOME Media Player is a simple media player for GNOME.
has caused the Debian Bug report #580888,
regarding RFP: gnome-media-player -- GNOME Media Player is a simple media player for GNOME.
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
580888: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=580888
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Bilal Akhtar <bilalakhtar96@yahoo.com>

* Package name    : gnome-media-player
  Version         : 0.1.2
  Upstream Author : Michael Lamothe <michael.lamothe@gmail.com>
* URL             : https://launchpad.net/gnome-media-player
* License         : GPLv3
  Programming Lang: C++
  Description     : GNOME Media Player is a simple media player for
GNOME that supports playing media using the vlc, xine and gstreamer
engines.

GNOME Media Player is a simple media player for GNOME that supports
playing media using the vlc, xine and gstreamer engines. It has the
ability to switch between the engines in the GUI, and features an engine
Auto-select mode, which automatically selects the best engine for
playing the selected file.

--- End Message ---
--- Begin Message --- 
RFP 580888 has no visible progress for a long time, so closing.

--- End Message ---
Reply to: