[14:34] <cjwatson> JanC: not something we have any control over - we handle publishing but the actual serving of files is a straightforward Apache server run by our sysadmins
[14:35] <cjwatson> (besides, on the whole I think this sort of thing tends to be an issue at the networking level somewhere between you and ppa.l.n)
[22:14] <JanC> cjwatson: yeah, not sure where the problem was exactly and didn't have time to further investigate, but was wondering if anybody else saw it too at that moment