Thanks for your answer Jack! > . I'm not sure it will get faster forever as the number of cores increases, but I think it should still be getting faster beyond 4.
Could you elaborate on this a bit more? Jason _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo