[Development] [HEADS UP] 5.12 locked down (Re: Merge and Integration status report - 2018.11.08)

[Ulf Hermann]

> Since hanging randomly is a common issue in our CI, that would be
> indistinguishable from a random failure.

It rarely hangs for 15 minutes. If that actually happens we usually hear 
a lot of other screaming about the CI and then you know that it might be 
a false negative. I realize that just waiting in an infinite loop is 
somewhat brutal, but I really don't know what else to do here.