Comment 2 for bug 893049

This should have been a 2-minute job, simply overwriting a new copy of the file by logging into Wordpress. It appears that the index in Wordpress has got out of step.

The file exists, but isn't in the Media Library index. Two obvious options:

  a. Hopefully it's possibly by SSHing into the webserver, and just overwriting that for the moment (with the contents re-saved as a .zip rather than tarball, to avoid the filename change
  b. Upload a new file. Update the post to talk to it.