Comment 8 for bug 24234

(In reply to comment #7)
> Thank you for your work Michael but apparently this problem still exists. It
> happens to me every third or fourth time of running "apt-get update". And I
> always get the exact same error mentioning the exact same repo:

It looks like the problem hit us again this afternoon. I talked to the server
admins and they said it's fixed again and a more robust mechanism is implemented
to prevent it from happening in the future.

Cheers (and let me know if you still get issues now),
 Michael