On 8 January 2016 at 01:50, Markus Mohrhard <markus.mohrhard at googlemail.com> wrote: > Hey, > > a short update. I think most of our random test failures have been fixed. This is awesome. Thanks a lot Markus. It was really annoying. Best, Matus