Gzip 1.15 fixes a wrong-file deletion race

· Dev.to