Confirmed as fixed.
- Bug#770400: www.debian.org: https://www.debian.... James Murphy
- Bug#770400: www.debian.org: https://www.de... Martin Michlmayr
- Bug#770400: www.debian.org: https://ww... James Murphy
- Bug#770400: marked as done (www.debian.org... Debian Bug Tracking System
