[gnome-mines] Created tag 3.13.4

[Robert Roth <robertroth src gnome org>]

The signed tag '3.13.4' was created.

Tagger: Robert Roth <robert roth off gmail com>
Date: Mon Jul 21 23:22:35 2014 +0300

    Tagged release 3.13.4

Changes since the last tag '3.13.1':

Aurimas Černius (2):
      Updated Lithuanian translation
      Updated Lithuanian translation

Balázs Úr (1):
      Updated Hungarian translation

Daniel Mustieles (4):
      Updated Spanish translation
      Updated Spanish translation
      Updated Spanish translation
      Updated Spanish translation

Enrico Nicoletto (1):
      Updated Brazilian Portuguese translation

Fran Diéguez (2):
      Updated Galician translations
      Updated Galician translations

Jakub Steiner (1):
      styling: use more subtle colors

MarMav (1):
      Updated Greek translation

Marek Černocký (1):
      Updated Czech translation

Michael Catanzaro (8):
      appdata: update license metadata
      Rename Difficulty button to Change Difficulty
      appdata: fix spelling of metadata-license tag
      Prepare 3.13.2
      Use ratio in clock, mark for translation
      Do not create new fundamental types
      doap: replace Jason with myself
      Update POTFILES.skip

Piotr Drąg (1):
      Fix i18n of the gschema file

Robert Ancell (1):
      Don't show HeaderBar / app menu on systems that don't support it

Robert Roth (14):
      Flipped tiles should not appear as sensitive on hover
      Added initial panning support for large custom minefields
      Use the symbolic flag icon instead of the replacement
      Only show scrollbars if required.     https://bugzilla.gnome.org/show_bug.cgi?id=730031
      Allocate more space for the buttons box
      Theme tweaks for the latest in-gtk+ Adwaita theme
      Fixed rough image rendering.     https://bugzilla.gnome.org/show_bug.cgi?id=730056
      Do not use soon-to-be-deprecated properties
      Added new maintainer to authors list
      Fixed segfault on game close before game start
      Fixed diamonds in the grid.     https://bugzilla.gnome.org/show_bug.cgi?id=732590
      Fixed small flag icon.     https://bugzilla.gnome.org/show_bug.cgi?id=732431
      Added better width-request for minimal-size board
      Release 3.13.4

Yosef Or Boczko (1):
      Updated Hebrew translation

Yuri Myasoedov (1):
      Updated Russian translation