Here is the upstream patch as a debdiff that I compiled locally. Preliminary testing shows that it fixes the gnome-terminal issue. I won't be chasing this all the way through the SRU process, but hope that you consider it in a future 17.10 SRU.
Here is the upstream patch as a debdiff that I compiled locally. Preliminary testing shows that it fixes the gnome-terminal issue. I won't be chasing this all the way through the SRU process, but hope that you consider it in a future 17.10 SRU.