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 [email protected] with problems
