[gnome-shell-extensions] Created tag 3.8.3

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.8.3' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Sat Jun 8 01:05:58 2013 +0200

    3.8.3 stable release

Changes since the last tag '3.8.2':

Dušan Kazik (1):
      Updated slovak translation

Florian Müllner (3):
      apps-menu: Add some padding to ScrollView
      classic: Adjust popup menu slider style
      classic: Replace mini-extensions with mode-specific overridesSchema

Giovanni Campagna (2):
      alternative-status-menu: take GSettings in consideration for item visibility
      Bump version to 3.8.3

Jakub Steiner (1):
      Style scrollbar in classic bubbles

Wepmaschda (2):
      reduce gnome-shell modifications
      make windowCaptionsOnTop working again