14 Jun
2017
14 Jun
'17
4:56 p.m.
Hi Martin,
since d7243833 the build now runs in three threads (thanks to Elliott), which is just enough to finish in 58 minutes :-)
For me, the problem is fixed, but this is definitely something that might bite us in the future.
Regards,
Max