On Thu, 12 Dec 2013 22:52:39 +1100
Geoff Cutter <geoff.cutter(a)gmail.com> wrote:
Yeah, this was something generated from mirrormanager, but it stopped
working a while back and we never got it fixed up.
I've added a note to that page that this information is no longer
valid.
Perhaps sometime we will get it setup again, but it's not anything on
our top priority list.
Thanks for letting us know.
kevin