Control: forwarded -1 https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140 Control: tags -1 + upstream
On Sat, 21 Sep 2019 at 00:17:59 +0200, Egmont Koblinger wrote: > This has already been brought to upstream developers' attention, > there's been some discussion about it at: > https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140 Tagging accordingly. Thanks, smcv
