[gnome-shell-extensions] Created tag 3.25.3

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

The signed tag '3.25.3' was created.

Tagger: Florian Müllner <fmuellner gnome org>
Date: Wed Jun 21 22:07:42 2017 +0200

    Tag release 3.25.3

Changes since the last tag '3.25.2':

Baurzhan Muftakhidinov (1):
      Update Kazakh translation

Christian Kellner (1):
      places-menu: can now ask user for info on mounting

Daniel Mustieles (1):
      Update Spanish translation

Fabio Tomat (1):
      Update Friulian translation

Florian Müllner (4):
      build: Switch to sassc for generating style
      window-list: Do not pick up transparency from top bar
      window-list: Respect MWM hints
      Bump version to 3.25.3