Ubuntu
gnome-terminal package

  1. Bug #1816171
  2. Comment #3

Comment 3 for bug 1816171

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

Thanks for the report! I can confirm this; forwarded to:
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/81