Hi Peter, 2015-11-09 20:16 GMT+01:00 Paul Gevers <elbrus at debian.org>: > Could we please agree on the way how to make Debian slightly better (I propose to > remove player). Sure, I can prepare such an upload. Jose, are you OK with that? Anton