[gnome-shell-extensions] Created tag 3.8.2

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.8.2' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Tue May 14 07:17:54 2013 +0200

    3.8.2 stable release

Changes since the last tag '3.8.1':

Aurimas Černius (1):
      Updated Lithuanian translation

Daniel Mustieles (1):
      Updated Spanish translation

Florian Müllner (2):
      window-list: Use notify::n-workspaces to recreate workspace menu
      window-list: Make bottom panel taller in classic mode

Giovanni Campagna (1):
      Bump version to 3.8.2

Marek Černocký (1):
      Updated Czech translation

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

Piotr Drąg (1):
      Updated Polish translation

Rafael Ferreira (1):
      Updated Brazilian Portuguese translation