Publishing details

Changelog

gnome-terminal (3.14.2-0ubuntu3) vivid; urgency=medium

  * debian/gnome-terminal: Add a wrapper script to launch gnome-terminal with
    a different app-id when a user passes the now ignored --disable-factory
    option. This should restore compatibility with old launchers for users who
    are upgrading.
  * 0001-client-legacy-Fall-back-to-default-profile.patch: When specifying a
    profile on the commandline, fall back to the default if it doesn't exist.
 -- Iain Lane <email address hidden>   Wed, 08 Apr 2015 16:18:11 +0100

Available diffs

Builds

Package files