[gnome-terminal] Created tag 3.31.0

[Christian Persch <chpe src gnome org>]

The unsigned tag '3.31.0' was created.

Tagger: Christian Persch <chpe src gnome org>
Date: 1542057310 +0100

    Version 3.31.0
    
    Git-EVTag-v0-SHA512: 
02e7251f7fb40ef18345a39c4b0ec2871f1e85ae1003acda6075ee39ee91eefabb30938a6094c79d2bf869cf8762d80d7e090b886d6a80ea9e91ebc49d1a08c9

Changes since the last tag '3.30.0':

Anish Sheela (1):
      Update Malayalam translation

Carmen Bianca BAKKER (1):
      Update Esperanto translation

Christian Persch (10):
      Post branch version bump
      desktop: Remove obsolete Bugzilla entries from desktop file
      app: Make new-terminal menu a hidden pref
      accels: Use correct action name to set menubar visibility
      profile: editor: Use correct enum
      prefs: Remove unused variable
      prefs: Hide the new terminal mode setting when disunified
      help: Comment out tab dragging description
      window: Add headerbar infrastructure
      window: Fix zoom-out sensitivity

Efstathios Iosifidis (1):
      Update Greek translation

Egmont Koblinger (3):
      prefs: editor: Disable "Show bold text in bright colors" by default
      gsettings: schema: Remove erroneous per-profile "default-show-menubar" key
      app: Remove app menu

Jakub Steiner (1):
      icon: Update app icon

Kjartan Maraas (1):
      Update Norwegian Bokmål translation

Piotr Drąg (1):
      Update Polish translation