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:

> fixed -1 gnome-terminal/3.26.1-2
Bug #879566 {Done: Simon McVittie <smcv at debian.org>} [gnome-terminal,libgtk-3-0] Half-maximized terminal windows not edge-to-edge, size changes with zoom or tab bar
Marked as fixed in versions gnome-terminal/3.26.1-2.

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