<p dir="ltr">On 8 Oct 2015 5:39 am, "Philip Reames" <<a href="mailto:listmail@philipreames.com">listmail@philipreames.com</a>> wrote:<br>
> After reading the thread, this is also my view.  </p>
<p dir="ltr">Keeping flaky bots was never the argument. But the meaning of flaky.</p>
<p dir="ltr">That's what this thread was all about and people seem to have missed the point. </p>
<p dir="ltr">The ARM bots are very stable, too, but were requested to be shut down as "flaky", because of the nature of the genuine problems they found, which is unfair. </p>
<p dir="ltr">Cheers, <br>
Renato </p>