Processed: Re: marco: hard to resize certain windows (e.g. devhelp)

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 751075 libgtk-3-0
Bug #751075 [marco] marco: hard to resize certain windows (e.g. devhelp)
Bug reassigned from package 'marco' to 'libgtk-3-0'.
No longer marked as found in versions marco/1.8.0+dfsg1-5.
Ignoring request to alter fixed versions of bug #751075 to the same values previously set
> forcemerge 744249 751075
Bug #744249 [libgtk-3-0] libgtk-3-0: gtk 3.12 breaks usability by forcing client side decorations on X11
Bug #751075 [libgtk-3-0] marco: hard to resize certain windows (e.g. devhelp)
Severity set to 'important' from 'normal'
Marked as found in versions gtk+3.0/3.12.0-4.
Added tag(s) upstream.
Merged 744249 751075
> thanks
Stopping processing here.

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