Update perf numbers for 32-bit This has not been done for ages

Authored by simonpj on Nov 22 2013, 4:53 PM.

Description

Update perf numbers for 32-bit This has not been done for ages

Details

Committed
simonpjDec 28 2013, 6:44 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF00cd65fa4ad2: Error wibbles while fixing #8607.
Branches
Unknown
Tags
Unknown