From: Paul Menzel <paul.menzel@giantmonkey.de>
Date: Wed, 17 Jun 2015 18:16:30 +0000 (+0200)
Subject: Use official redirector address httpredir.debian.org [1]
X-Git-Tag: v0.73~3
X-Git-Url: https://git.grml.org/?p=grml-debootstrap.git;a=commitdiff_plain;h=4a9077a0866a639999f625a8030402bba2c5deef;hp=4a9077a0866a639999f625a8030402bba2c5deef

Use official redirector address httpredir.debian.org [1]

The address `http.debian.net` is officially replaced by
`httpredir.debian.org`.

Use the following command to update all places.

	git grep -l 'http.debian.net/debian' | xargs sed -i 's,http.debian.net/debian,httpredir.debian.org/debian,g'

[1] http://httpredir.debian.org
---