43ed9fc297
Sister change for Ia5caff34d3fafaffc459e7572a4eef6bd94422ea and removing earlier references to the mirror server in preparation for building and adding the new one. Change-Id: I7d506be85326835d5e77a0c9c461f2d457b1dfd3