Processed: Re: Bug#760593: libwebkitgtk-1.0-0: Missing symbols

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 760593 src:webkitgtk,src:cairo
Bug #760593 [libwebkitgtk-1.0-0] libwebkitgtk-1.0-0: Missing symbols
Bug reassigned from package 'libwebkitgtk-1.0-0' to 'src:webkitgtk,src:cairo'.
No longer marked as found in versions webkitgtk/2.4.5-1.
Ignoring request to alter fixed versions of bug #760593 to the same values previously set
> reassign 760628 src:webkitgtk,src:cairo
Bug #760628 [libwebkitgtk-3.0-dev] libwebkitgtk-3.0-dev: missing symbols in libwebkitgtk-3.0.so
Bug reassigned from package 'libwebkitgtk-3.0-dev' to 'src:webkitgtk,src:cairo'.
No longer marked as found in versions webkitgtk/2.4.5-1.
Ignoring request to alter fixed versions of bug #760628 to the same values previously set
> forcemerge 760593 760628
Bug #760593 [src:webkitgtk,src:cairo] libwebkitgtk-1.0-0: Missing symbols
Bug #760628 [src:webkitgtk,src:cairo] libwebkitgtk-3.0-dev: missing symbols in libwebkitgtk-3.0.so
Merged 760593 760628
> thanks
Stopping processing here.

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