Bert Huijben wrote on Thu, Mar 23, 2017 at 13:44:06 +0100: > So unless you want to do the heavy debugging to get down to the real > issue, feel free to ignore this problem :-)
Sorry for the false alarm Evgeny, I hadn't been aware of the bots' flakiness.
