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.
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.