gmp: upgrade to version 5.1.2
[openwrt/openwrt.git] / tools / patch /
2013-03-07 Felix Fietkaubuild: BSD compile fixes