mrg 555a5a053b updates for mpfr 4.0.1.		2020-09-26 07:50:41 +00:00
..
dist	empty PATCHES is needed. revert a local change that is wrong now.	2020-09-26 07:40:50 +00:00
lib/libmpfr	updates for mpfr 4.0.1.	2020-09-26 07:50:41 +00:00