GMP 5.0.3 release?

[Max Horn]

Sorry, I accidentally included a link to the wrong commit:

Am 23.11.2011 um 14:37 schrieb Max Horn:
[...]
> While this may be Apple's fault, it sadly inconveniences lots of people... OK, so I should complain to Apple (which I did). But I wouldn't bother *you* about this if this hadn't been already fixed in GMP's 5.0.x SVN branch. In fact, already back in June, see this commit:
>  <http://gmplib.org:8000/gmp-5.0/rev/1227f07c005e>

This should have been:  <http://gmplib.org:8000/gmp-5.0/rev/f2696e1e4635>

Cheers,
Max