[gnome-shell-extensions] Created tag 3.7.5

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.7.5' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Wed Feb 6 12:04:56 2013 +0100

    3.7.5 development release

Changes since the last tag '3.7.4':

Daniel Mustieles (1):
      Updated Spanish translation

Debarshi Ray (1):
      apps-menu: Replace it with a new version based on AxeMenu

Florian MÃllner (12):
      classic: Move dateMenu to the right
      places-menu: Design update
      alternate-tab: Update to Shell API change
      apps-menu: Update to Shell API change
      Use different styling in classic mode
      window-list: New extension
      window-list: Factor out WindowTitle
      window-list: Add option for grouping windows by application
      window-list: Add a small preference UI
      window-list: Add classic mode styling
      data: Add missing file
      build: Fix distcheck

Gabriel Rossetti (1):
      launch-new-instance: New extension

Giovanni Campagna (5):
      Revert "Remove places-menu from the classic extensions"
      native-window-placement: update for gnome-shell changes
      windowsNavigator: update for gnome-shell changes
      windowsNavigator: fix a warning in disable()
      Bump version to 3.7.5

Marek Äernockà (2):
      Updated Czech translation
      Updated Czech translation

OKANO Takayoshi (1):
      [l10n] Update Japanese translation

Piotr DrÄg (4):
      Updated Polish translation
      Updated Polish translation
      Updated POTFILES.in
      Updated Polish translation