Processing commands for control@bugs.debian.org: > summary 580888 15 Bug #580888 [wnpp] ITP: gnome-media-player -- GNOME Media Player is a simple media player for GNOME. Summary recorded from message bug 580888 message 15 > thanks Stopping processing here. Please contact me if you need assistance. -- 580888: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=580888 Debian Bug Tracking System Contact owner@bugs.debian.org with problems