Processed: Better bug title
Processing commands for control@bugs.debian.org:
> retitle 888422 Mixing libmpfr4 and libmpfr6 doesn't work well
Bug #888422 [libmpfr6] libmpfr6 should add Breaks: libmpfr4
Changed Bug title to 'Mixing libmpfr4 and libmpfr6 doesn't work well' from 'libmpfr6 should add Breaks: libmpfr4'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
888422: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888422
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: