[gnome-shell-extensions] Created tag 3.9.3

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.9.3' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Tue Jun 18 21:40:09 2013 +0200

    3.9.3 development release

Changes since the last tag '3.9.2':

Daniel Mustieles (2):
      Updated Spanish translation
      Updated Spanish translation

Dimitris Spingos (1):
      Updated Greek translation

Dušan Kazik (1):
      Updated slovak translation

Florian Müllner (2):
      classic: Adjust popup menu slider style
      classic: Replace mini-extensions with mode-specific overridesSchema

Fran Diéguez (2):
      Updated Galician translations
      Updated Galician translations

Giovanni Campagna (5):
      xrandr-indicator: stop processing RandR events when disabled
      places-menu: null-check g_volume_get_identifier()
      xrandr-indicator: fix syntax error
      systemMonitor: don't propagate clicks up
      Bump version to 3.9.3

Jakub Steiner (1):
      Style scrollbar in classic bubbles

Jeremy Bicha (1):
      classic: Drop IsRunnableHelper

Jorge Pérez Pérez (1):
      Added Aragonese translation

Kjartan Maraas (2):
      Updated Norwegian bokmål translation
      Updated Norwegian bokmål translation

Marek Černocký (1):
      Updated Czech translation

Piotr Drąg (2):
      Updated Polish translation
      Updated POTFILES.in

Victor Ibragimov (2):
      Tajik translation added
      Tajik translation updated

Wepmaschda (3):
      reduce gnome-shell modifications
      make windowCaptionsOnTop working again
      adapt native-window-placement to 3.9 changes