[gnome-mines] Created tag 3.31.3

[Robert Roth <robertroth src gnome org>]

The unsigned tag '3.31.3' was created.

Tagger: Robert Roth <robert roth off gmail com>
Date: 1544467406 +0200

    Tagged release 3.31.3

Changes since the last tag '3.31.1':

Daniel Mustieles (1):
      Updated Spanish translation

Jeremy Bicha (2):
      Add Keyboard Shortcuts overlay
      help: Don't show Keyboard Shortcuts page

Marek Cernocky (1):
      Updated Czech translation

Matej Urbančič (1):
      Added Slovenian translation

Robert Roth (11):
      Fix blurred images issues (!4)
      Add some more padding regardless of size
      Changed default theme to bgcolors (#20)
      Remove transitions for a snappier experience (#14)
      More cleanup of unity-specific hacks
      Fix new game button not working after winning
      Remove unused signals
      Additional code cleanup
      Removed unused public setter
      Fixed incorrect comment position in help doc
      Prepared release 3.31.3

Yanko Kaneti (3):
      Avoid unnecessary icon regeneration.
      Extend css to cover the tile themed images
      Rework minefield sizing and aspect ratio calculations