On Sat, Jun 24, 2023 at 01:41:48PM -0700, Kevin Fenzi wrote:
I mailed the admin listed for that site... hopefully they can correct
their mirror and/or mirrormanager to fix it up.
I marked it inactive in the mean time... they can reacitivate it when
it's fixed.
Just to circle back: They have fixed it and re-enabled.
kevin