Processed: Re: Merge duplicate #873442 with #872687

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # botched the reassign, sigh...
> reassign 873442 gtk+3.0
Bug #873442 [src:gtk+3.0] xfce4-pulseaudio-plugin: Clicking slider makes popup disappear
Bug reassigned from package 'src:gtk+3.0' to 'gtk+3.0'.
Ignoring request to alter found versions of bug #873442 to the same values previously set
Ignoring request to alter fixed versions of bug #873442 to the same values previously set
> forcemerge 872687 873442
Bug #872687 [gtk+3.0] xfce4-pulseaudio-plugin: Unable to click or use volume slider
Bug #873442 [gtk+3.0] xfce4-pulseaudio-plugin: Clicking slider makes popup disappear
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/786029'.
Severity set to 'important' from 'normal'
There is no source info for the package 'gtk+3.0' at version '3.22.18-1' with architecture ''
Unable to make a source version for version '3.22.18-1'
Marked as found in versions 3.22.18-1.
Added tag(s) pending and patch.
Merged 872687 873442
> affects 872687 + xfce4-pulseaudio-plugin
Bug #872687 [gtk+3.0] xfce4-pulseaudio-plugin: Unable to click or use volume slider
Bug #873442 [gtk+3.0] xfce4-pulseaudio-plugin: Clicking slider makes popup disappear
Added indication that 872687 affects xfce4-pulseaudio-plugin
Added indication that 873442 affects xfce4-pulseaudio-plugin
> thanks
Stopping processing here.

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