Bug#940029: RM: gnome-shell-extension-mediaplayer -- ROM; unmaintained upstream, doesn't work with upcoming GNOME Shell 3.34

[Simon McVittie]

Package: ftp.debian.org
Severity: normal

gnome-shell-extension-mediaplayer is no longer maintained upstream, and is
a lot less beneficial than it used to be now that GNOME Shell has built-in
MPRIS functionality.

Please remove it from unstable so that it doesn't block testing migration
of GNOME Shell 3.34, which will be entering unstable soon.

Thanks,
    smcv