On Mon, 14 Jul 2014, Holger Parplies wrote:

In fact, if I try to access http://http.debian.net/debian/, I am correctly
redirected to a mirror (I had tried without the trailing slash before, which
did *not* work).

I understand that the trailing slash is significant and necessary.  So
perhaps the stock file needs to have it added.

Cheers,
G

Antwort per Email an