Processed: Re: Bug#879566: Half-maximized terminal windows not edge-to-edge, size changes with zoom or tab bar

[Debian Bug Tracking System]

Processing control commands:

> reassign 879566 gnome-terminal,libgtk-3-0
Bug #879566 [gnome-shell] Half-maximized terminal windows not edge-to-edge, size changes with zoom or tab bar
Bug reassigned from package 'gnome-shell' to 'gnome-terminal,libgtk-3-0'.
No longer marked as found in versions gnome-shell/3.26.1-3.
Ignoring request to alter fixed versions of bug #879566 to the same values previously set
> found 879566 gnome-terminal/3.26.1-1
Bug #879566 [gnome-terminal,libgtk-3-0] Half-maximized terminal windows not edge-to-edge, size changes with zoom or tab bar
Marked as found in versions gnome-terminal/3.26.1-1.
> found 879566 libgtk-3-0/3.22.24-1
Bug #879566 [gnome-terminal,libgtk-3-0] Half-maximized terminal windows not edge-to-edge, size changes with zoom or tab bar
The source libgtk-3-0 and version 3.22.24-1 do not appear to match any binary packages
Marked as found in versions libgtk-3-0/3.22.24-1.
> forwarded 879566 https://bugzilla.gnome.org/show_bug.cgi?id=789356
Bug #879566 [gnome-terminal,libgtk-3-0] Half-maximized terminal windows not edge-to-edge, size changes with zoom or tab bar
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=789356'.

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