Build #4548 (Feb 24, 2020 12:56:01 AM)

1. [560423] Handle bad results from mirror locations better (detail)

Started by upstream project integration-nightly build number 2415
originally caused by:

• Started by timer

• origin/master