Processed: Re: Bug#770512: mutter: Tiled windows using client side decoration have no borders

Mon Oct 23 16:03:09 UTC 2017

Processing control commands:

> reassign 770512 libgtk-3-0
Bug #770512 [libgtk-3-0] mutter: Tiled windows using client side decoration have no borders
Bug #768542 [libgtk-3-0] libgtk-3-0: no borders in windows that are "split on left/right"
Ignoring request to reassign bug #770512 to the same package
Ignoring request to reassign bug #768542 to the same package
> forcemerge 768542 770512
Bug #768542 [libgtk-3-0] libgtk-3-0: no borders in windows that are "split on left/right"
Bug #770512 [libgtk-3-0] mutter: Tiled windows using client side decoration have no borders
Bug #770512 [libgtk-3-0] mutter: Tiled windows using client side decoration have no borders
Merged 768542 770512

-- 
768542: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=768542
770512: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=770512
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems