19 Aug
2008
19 Aug
'08
7:55 a.m.
Good, now committed in 7.8.
I'll commit the GMP build fix too which I posted last week (and which Bill verified) in a moment.