[gnome-shell-extensions] Created tag 3.25.2

[Florian Müllner <fmuellner src gnome org>]

The signed tag '3.25.2' was created.

Tagger: Florian Müllner <fmuellner gnome org>
Date: Thu May 25 00:12:30 2017 +0200

    Tag release 3.25.2

Changes since the last tag '3.25.1':

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

Christian Kellner (2):
      places-menu: make launching asynchronous
      places-menu: report errors for mounting of volumes

Fabio Tomat (1):
      Update Friulian translation

Florian Müllner (2):
      drive-menu: Fix launch-nautilus label
      Bump version to 3.25.2

Kukuh Syafaat (2):
      Update Indonesian translation
      Update Indonesian translation

Mario Blättermann (1):
      Update German translation

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

gogo (1):
      Update Croatian translation