-
Simon Peyton Jones authored
Updates the performance numbers for 32-bit windows. I tried to do this before with 387f1d1e, but accidentally included some unrelated changes.
e6756640
Updates the performance numbers for 32-bit windows. I tried to do this before with 387f1d1e, but accidentally included some unrelated changes.