Hey, for everybody who is annoyed by the recent trend of shrinking terminals in rawhide: I've just pushed a fixed for vte3 through koji.
Matthias -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
