On 15.06.2019 15:51, Michael Tremer wrote:
> Cool. What was the time before?
> 

Normally between 6-8 hours, depending on branch and cache condition.

This was a "clean" build with Core 133 - we'll see if it stays that way.
I'm happy, so far. ;-)

Best,
Matthias