Processed: reassign 873749 to gnome-user-docs, forcibly merging 873716 873749

[Debian Bug Tracking System]

Processing commands for control at 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 <biebl at 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 owner at bugs.debian.org with problems