Comment 2 for bug 1725621

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

See https://git.gnome.org/browse/gnome-terminal/commit/?id=10e164d and follow the links from there if you're interested in the details.