Ubuntu
gnome-media-player package

  1. Bug #606870
  2. Comment #12

Comment 12 for bug 606870

Revision history for this message
Bilal Akhtar (bilalakhtar) wrote :

Benjamin,
The two patches have already been accepted upstream.

To say, there is no separate 'upstream' here. I am the upstream developer. Since these issues were fixed after the release of 0.1.3, and these were highly important, I added them to the package.

Ok, I will make the change not to install the COPYING and INSTALL files.