Processed: Merge duplicates

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 888911 libmpfr6
Bug #888911 {Done: Matthias Klose <doko at debian.org>} [src:giac] giac test failures with mpfr 4.0.0 on several architectures
Bug reassigned from package 'src:giac' to 'libmpfr6'.
No longer marked as found in versions giac/1.2.3.57+dfsg1-2.
No longer marked as fixed in versions 1.2.3.57+dfsg1-2+b4.
> forcemerge 888422 888911
Bug #888422 [libmpfr6] Mixing libmpfr4 and libmpfr6 doesn't work well
Bug #888422 [libmpfr6] Mixing libmpfr4 and libmpfr6 doesn't work well
Added tag(s) sid and buster.
Bug #888911 {Done: Matthias Klose <doko at debian.org>} [libmpfr6] giac test failures with mpfr 4.0.0 on several architectures
888912 was blocked by: 888459 888911
888912 was not blocking any bugs.
Removed blocking bug(s) of 888912: 888911
Bug reopened
Ignoring request to alter fixed versions of bug #888911 to the same values previously set
Marked as found in versions mpfr4/4.0.0-5.
Merged 888422 888911
> affects 888422 src:giac
Bug #888422 [libmpfr6] Mixing libmpfr4 and libmpfr6 doesn't work well
Bug #888911 [libmpfr6] giac test failures with mpfr 4.0.0 on several architectures
Added indication that 888422 affects src:giac
Added indication that 888911 affects src:giac
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
888422: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888422
888911: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888911
888912: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888912
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems