Processing commands for cont...@bugs.debian.org:
> reassign 873749 gnome-user-docs
Bug #873749 [gnome-user-docs] gnome-user-docs conflicts with gnome-user-guide
Ignoring request to reassign bug #873749 to the same package
> forcemerge 873716 873749
Bug #873716 {Done: Michael Biebl <bi...@debian.org>} [gnome-user-docs] trying
to overwrite '/usr/share/help/C/gnome-help/a11y-bouncekeys.page', which is also
in package gnome-user-guide 3.22.0-1
Bug #873749 [gnome-user-docs] gnome-user-docs conflicts with gnome-user-guide
Severity set to 'serious' from 'normal'
Marked Bug as done
Marked as found in versions gnome-user-docs/3.25.90-1.
Merged 873716 873749
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
873716: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873716
873749: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873749
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
