[gnome-terminal] Created tag 3.12.3

[Christian Persch <chpe src gnome org>]

The unsigned tag '3.12.3' was created.

Tagger: Christian Persch <chpe gnome org>
Date: Mon Jun 23 19:59:31 2014 +0200

    Version 3.12.3

Changes since the last tag '3.12.2':

Christian Persch (5):
      Post release version bump
      app: Only allow valid charsets
      Revert "app: Don't change the title on tab labels that no longer exist"
      server: Use specific exit codes for specific error
      Version 3.12.3

Egmont Koblinger (6):
      app: Don't change the title on tab labels that no longer exist
      app: Don't change the title on tab labels that no longer exist (take 2)
      build: Resolve git merge conflict
      app: Fix window size when a second tab is added by drag-n-drop
      app: Make dropped tab active
      app: Fix the close button after drag-n-drop