[gnome-shell-extensions] Created tag 3.25.1

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

The signed tag '3.25.1' was created.

Tagger: Florian Müllner <fmuellner gnome org>
Date: Thu Apr 27 18:35:42 2017 +0200

    Tag release 3.25.1

Changes since the last tag '3.24.1':

Christian Kellner (1):
      places-menu: make the icon query asynchronous

Florian Müllner (4):
      apps-menu: Remove excess parameters
      apps-menu: Mark copied .desktop files as trusted
      apps-menu: 'Touch' copied .desktop file after updating attributes
      Bump version to 3.25.1

gogo (1):
      Add Croatian translation