[gnome-mines] Created tag 3.17.2

[Robert Roth <robertroth src gnome org>]

The signed tag '3.17.2' was created.

Tagger: Robert Roth <robert roth off gmail com>
Date: Mon May 25 22:35:54 2015 +0300

    Tagged release 3.17.2

Changes since the last tag '3.16.0':

Anders Jonsson (2):
      Fix typo (chosing) in documentation
      Updated Swedish translation

Behnam Momeni (1):
      Fixed keyboard navigation limits (bgo #749013)

Cédric Valmary (1):
      Updated Occitan translation

Daniel Martinez (1):
      Updated Aragonese translation

Enrico Nicoletto (1):
      Updated Brazilian Portuguese translation

Inaki Larranaga Murgoitio (1):
      Updated Basque language

Jakub Steiner (1):
      icon: provide a symbolic variant of the app icon

Marek Černocký (1):
      Updated Czech translation

Robert Roth (2):
      Merge branch 'gnome-3-16'
      Prepare 3.17.2

Yanko Kaneti (1):
      theme-selector: minfield refresh after initial realization