The precise patch that should be applied is available at: https://bug542087.bugzilla-attachments.gnome.org/attachment.cgi?id=176035
This was applied upstream at: https://git.gnome.org/browse/vte/commit/?id=88e8e89560a62d0981ce2b18974a230d0a07dbdd I was able to apply the bugzilla patch to the source package myself locally, and this fully resolved the issue for me. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
