Ubuntu
gnome-terminal package

  1. Bug #1775111
  2. Comment #4

Comment 4 for bug 1775111

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

Fixed upstream in https://gitlab.gnome.org/GNOME/gnome-terminal/commit/6ec754bf. Will be included in gnome-terminal 3.28.3, whenever (if at all) released (there's no schedule for that).

Up for Ubuntu to cherry-pick the fix...