This bug has disappeared by an upgrade about a week ago.
Apparently, the problem was not caused by gnome-terminal: downgrading from version 3.26.2-2 to 3.22.2-1 does not re-introduce it.
In any case, feel free to close this bug.

Reply via email to