Bug#888911: marked as done (giac test failures with mpfr 4.0.0 on several architectures)

Your message dated Wed, 07 Feb 2018 18:20:19 + with message-id and subject line Bug#888422: fixed in mpfr4 4.0.1-1 has caused the Debian Bug report #888422, regarding giac test failures with mpfr 4.0.0 on several architectures to be marked as done. This

Bug#888911: marked as done (giac test failures with mpfr 4.0.0 on several architectures)

Your message dated Tue, 6 Feb 2018 15:24:32 +0100 with message-id and subject line Re: giac test failures with mpfr 4.0.0 on several architectures has caused the Debian Bug report #888911, regarding giac test failures with mpfr 4.0.0 on several