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

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unmerge 751075
Bug #751075 [libgtk-3-0] CSD windows cannot be resized under many window managers
Bug #744249 [libgtk-3-0] CSD windows cannot be resized under many window managers
Disconnected #751075 from all other report(s).
> reassign 751075 marco 1.8.2+dfsg1-1
Bug #751075 [libgtk-3-0] CSD windows cannot be resized under many window managers
Bug reassigned from package 'libgtk-3-0' to 'marco'.
No longer marked as found in versions gtk+3.0/3.12.0-4 and gtk+3.0/3.14.3-1.
Ignoring request to alter fixed versions of bug #751075 to the same values previously set
Bug #751075 [marco] CSD windows cannot be resized under many window managers
Marked as found in versions marco/1.8.2+dfsg1-1.
> retitle 751075 CSD windows cannot be resized under Marco
Bug #751075 [marco] CSD windows cannot be resized under many window managers
Changed Bug title to 'CSD windows cannot be resized under Marco' from 'CSD windows cannot be resized under many window managers'
> forwarded 751075 https://github.com/mate-desktop/marco/issues/138
Bug #751075 [marco] CSD windows cannot be resized under Marco
Set Bug forwarded-to-address to 'https://github.com/mate-desktop/marco/issues/138'.
> 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