Nightly builds change

[Torbjorn Granlund]

The nightly builds will be using the GMP 5.0 repository until GMP 5.0.3
is out.

-- 
Torbjörn
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
http://gmplib.org/mailman/listinfo/gmp-devel