2 commits

Author	SHA1	Message	Date
Robin Gloster	0f86750d1d	mpir: add patch to account for sed update	2017-01-20 00:15:53 +01:00
Michael Raskin	36d3038e3d	mpir: init at 2.7.2	2016-10-26 11:06:31 +02:00