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

Mon Oct 23 16:03:06 UTC 2017

Processing control commands:

> reassign 770512 libgtk-3-0
Bug #770512 [src:mutter] mutter: Tiled windows using client side decoration have no borders
Bug reassigned from package 'src:mutter' to 'libgtk-3-0'.
Ignoring request to alter found versions of bug #770512 to the same values previously set
Ignoring request to alter fixed versions of bug #770512 to the same values previously set
> 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
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=708857'.
Marked as found in versions gtk+3.0/3.14.5-1 and gtk+3.0/3.14.4-1.
Added tag(s) jessie, fixed-upstream, and upstream.
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