Comment 4 for bug 1790100

giannione (giannione) wrote :

gnome says that it's not their problem
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/48