[gnome-shell-extensions] Created tag 3.9.1

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.9.1' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Wed May 1 00:50:43 2013 +0200

    3.9.1 development release

Changes since the last tag '3.8.1':

Aurimas Černius (1):
      Updated Lithuanian translation

Daniel Mustieles (1):
      Updated Spanish translation

Florian Müllner (4):
      window-list: Adjust to PopupMenu API change
      xrandr-indicator: Adjust to PopupMenu API change
      workspace-indicator: Adjust to PopupMenu API change
      window-list: Use notify::n-workspaces to recreate workspace menu

Giovanni Campagna (2):
      windowsNavigator: update for gnome-shell changes
      Bump version to 3.9.1

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