Pipeline #20403 passed
Pipeline passed for 63b69437 on fix-missing-files May 23, 2018
Merge details
Pipeline #20409 passed
Pipeline passed for 0ef9210c on master May 23, 2018
ping @vkrivokuca
merged
mentioned in commit 0ef9210c
This was only possible to spot via SGE, so that's why the tests were passing
Thanks for the fix, Tiago.