The maintainers pointed me to this commit:

https://gitlab.gnome.org/GNOME/vte/-/commit/6581fea7a4450a724ec3a4bc4859156722d1df1d.patch

Applying this on top of 0.75.91 indeed fixes the bug.

Reply via email to