I just make a new media-player-info [1] release, which I've used to put into /srv/www.freedesktop.org/www/software/media-player-info/ , so that they end up at https://www.freedesktop.org/software/media-player-info/ . However, that directory is now owned by root:root, so I don't have permission any more to write there. I put the tarball on https://people.freedesktop.org/~martin/ for now, but it would be nice to continue to use the "official" location. Thank you! Martin
oops, fixed now!
Awesomely fast, thanks Daniel! I put the tarball to the official location now.
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.