[gnome-mines] Created tag 3.13.1

[Robert Roth <robertroth src gnome org>]

The unsigned tag '3.13.1' was created.

Tagger: Robert Roth <robert roth off gmail com>
Date: Tue Apr 29 01:45:36 2014 +0300

    Tagged 3.13.1 release

Changes since the last tag '3.12.0':

Alexandre Franke (1):
      Updated French translation

Allan Day (3):
      use the light theme variant
      symbolic style images
      change the color for incorrect flags

Anders Jonsson (1):
      Updated Swedish translation

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

Chris Johns (3):
      Increase spacing between new game buttons
      Use "delay-apply" mode for GSettings
      Prefer dark gtk theme

Gabor Kelemen (1):
      Mark images as not translatable to keep them off translators radar

Marek Černocký (3):
      Updated Czech translation
      Updated Czech translation
      Updated Czech translation

Matej Urbančič (2):
      Updated Slovenian translation
      Updated Slovenian translation

Michael Catanzaro (9):
      Flag label should not be translatable
      Require GTK+ 3.12, Vala 0.24
      Never pause the game before it has begun
      Set a reasonable size request for the main window
      Replace the hint button with a flag icon
      trivial: remove unneeded variables
      Custom games: remove num mines spinner
      Remove the preferences dialog
      Fix paths to image files in css

Pau Iranzo (1):
      [l10n] Update Catalan translation

Piotr Drąg (1):
      doap: update URLs

Robert Roth (24):
      Custom game screen improvements. https://bugzilla.gnome.org/show_bug.cgi?id=710235
      Updated buttons to match the mockups
      Fixed various sidebar button issues https://bugzilla.gnome.org/show_bug.cgi?id=727960
      Move the minefield to an aspectframe. https://bugzilla.gnome.org/show_bug.cgi?id=728483
      Use standard GTK+ components for the minefield
      Use the SVG files as background-image
      Added pause overlay
      Added new co-maintainer
      Merged branch 'wip/cssstyling' with CSS stylable minefield.     
https://bugzilla.gnome.org/show_bug.cgi?id=728483
      Added new classes for game ended cases
      Credits cleanup, removed face artists, as we are not using faces.     
https://bugzilla.gnome.org/show_bug.cgi?id=727182
      Mark the full field as exploded instead of separate tiles
      Moved start screens to Glade UI file
      Moved most of the game screen to the UI file
      Further improvements to the UI file
      Moved the overlay to the UI file
      Updated CSS files based on design suggestions
      Removed button labels added for testing until styling is done
      Rescaled SVG images to 64x64 for better scaling
      Focus rectangle should not appear on tiles
      Add fallen flag for incorrect flags
      Replaced text label minecounts to SVG counts for better scaling
      ONly use red background for incorrect flags
      Release 3.13.1

Tom Tryfonidis (1):
      Updated Greek translation

Yosef Or Boczko (5):
      Use headerbar in the preferences dialog
      Updated Hebrew translation
      Updated Hebrew translation
      Updated POTFILES.in
      Updated Hebrew translation

evafotopoulou (1):
      Updated Greek translation