[gnome-mines] Created tag 3.13.2

[Michael Catanzaro <mcatanzaro src gnome org>]

The signed tag '3.13.2' was created.

Tagger: Michael Catanzaro <mcatanzaro gnome org>
Date: Mon May 26 20:40:16 2014 -0500

    GNOME Mines 3.13.2

Changes since the last tag '3.13.1':

Aurimas Černius (1):
      Updated Lithuanian translation

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

Fran Diéguez (1):
      Updated Galician translations

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

Marek Černocký (1):
      Updated Czech translation

Michael Catanzaro (4):
      appdata: update license metadata
      Rename Difficulty button to Change Difficulty
      appdata: fix spelling of metadata-license tag
      Prepare 3.13.2

Robert Roth (5):
      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

Yosef Or Boczko (1):
      Updated Hebrew translation