-
Benjamin Otte authored
And make it not do anything anymore. Fixes erratic resizes of gnome-terminal. https://bugzilla.gnome.org/show_bug.cgi?id=757282
3ed71cf4
And make it not do anything anymore. Fixes erratic resizes of gnome-terminal. https://bugzilla.gnome.org/show_bug.cgi?id=757282