Update mpfr patch and configure options
[hvlinux.git] / stage1 / patches / x86 /
2014-10-06 Hugo VilleneuveIntegrate patches inside git repository