We're hitting problems downloading 1.7.2 and it's good to upgrade in any case. This udpates the ninja in our CI jobs to 1.10.2.
We're hitting problems downloading 1.7.2 and it's good to upgrade in any case. This udpates the ninja in our CI jobs to 1.10.2.