Le mardi 09 juil. 2019 à 13:11:54 (+0200), Julian Andres Klode a écrit : > > Well, that's not optimal, but nothing I'm going to be investigating. > > I'll be updating the package to a recent version in unstable shortly, > maybe it works then, but I assume it's more of a gnome-terminal-related > issue. If not, talk to upstream and figure out what's going on if you > want to see this fixed.
thanks for your rapid answer. I'll talk to upstream.
