[gnome-mines] Created tag 3.15.1

[Robert Roth <robertroth src gnome org>]

The signed tag '3.15.1' was created.

Tagger: Robert Roth <robert roth off gmail com>
Date: Mon Oct 27 23:08:26 2014 +0200

    Tagged release 3.15.1

Changes since the last tag '3.14.0':

Arnaud Bonatti (4):
      Add --version command-line option.
      Update man page.
      Add --small, --medium & --big command-line options.
      Add jumplist.

Daniel Korostil (1):
      Updated Ukrainian translation

Daniel Mustieles (1):
      Updated Spanish translation

Michael Catanzaro (1):
      Use XDG_CURRENT_DESKTOP to decide whether to use a header bar

Milo Casagrande (1):
      Updated Italian translation

Robert Roth (7):
      Play again or Start over on replay label     https://bugzilla.gnome.org/show_bug.cgi?id=737047
      Added restart game shortcut, removed hint shortcut
      Removed fullscreen shortcut
      Fancy screen transitions added
      Fixed custom size entry (bgo #738607)
      Fixed desktop file validation issue
      Prepare 3.15.1

Rūdolfs Mazurs (1):
      Updated Latvian translation

Sahil Sareen (1):
      Coding guidelines fixes

Yosef Or Boczko (1):
      Updated Hebrew translation