[gnome-shell-extensions] Created tag 3.13.3

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.13.3' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Wed Jun 25 21:13:53 2014 +0200

    3.13.3 development release

Changes since the last tag '3.13.2':

Aurimas Černius (1):
      Updated Lithuanian translation

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

Daniel Mustieles (1):
      Updated Spanish translation

Enrico Nicoletto (1):
      Updated Brazilian Portuguese translation

Florian Müllner (3):
      example: Tweak prefs UI
      data: Don't set overridesSchema for classic mode
      native-window-placement: Fix 'button-layout' schema

Giovanni Campagna (1):
      Bump version to 3.13.3

Kjartan Maraas (1):
      Updated Norwegian bokmål translation from Åka Sikrom.

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

Muhammet Kara (1):
      Updated Turkish translation

Yosef Or Boczko (1):
      Updated Hebrew translation