Bug#1095003: snapshot.debian.org: Downloaded files have wrong filename (checksum hash instead of proper "something.deb")

[Ralf Jung]

Hi Baptiste,

Awesome, thanks for the faster-than-causality fix. :)

; Ralf