On 26/12/18 16:00, Michael Osipov wrote:
> I'd like to merge this into master. The issue explanation and fix are
> decent. The IT is fine and nothing else is broken
> Both branches (core & IT) are uptodate.
> Who seconds?
I have restarted the build running build which is now fine.