HI,

Perhaps mention that the gthib mirrors are broken, as is the CI and we're 
currently unable to build a release as part of the ongoing Git issues/move to 
git?

The CI box has been generally unstable as well before the move to git.

Justin

Reply via email to