Revert "gmp: bump to version 5.1.2"
authorPeter Korsgaard <jacmet@sunsite.dk>
Tue, 28 May 2013 21:27:37 +0000 (23:27 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Tue, 28 May 2013 21:27:37 +0000 (23:27 +0200)
commitd2d64f88f592010a5f45e4d55c5884110b9d6188
treec276bc7629776c6f7667aa75bf83be235a366d4e
parentc95ba8a487ba751134f63e2bbf45c5a09ee870a3
Revert "gmp: bump to version 5.1.2"

This reverts commit 78927d3f92f0a397e9551dee491e26602e63a30a.

This was supposed to have been for next, not 2013.05.
package/gmp/gmp.mk