amigadave pushed to gnome-terminal (f35). "Update to 3.42.0"