Hi all,
I just switched from cgtools 4.1.3 to 5.1.2 and the difference in execution speed is remarkable.
Now a full build takes more than twice the time than with 4.1.3.[:(]
This is a good argument for a faster PC [:D], but apart of that, this is not amusing.
Did you observe the same?
