3 commits

Author	SHA1	Message	Date
Robin Gloster	0f86750d1d	mpir: add patch to account for sed update	2017-01-20 00:15:53 +01:00
Eelco Dolstra	6042d6e39d	Remove file named '\' ... This looks like it was accidental. Fixes #20253.	2016-11-09 12:52:56 +01:00
Michael Raskin	36d3038e3d	mpir: init at 2.7.2	2016-10-26 11:06:31 +02:00