Aug 5 2022 - Android build servers are undergoing maintenance

[jared]

Hey thunkers,

We are doing some maintenance on our Android build servers. They are down at the moment but should be back up within the hour!