[gnome-shell-extensions] Created tag 3.7.2

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.7.2' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Tue Nov 20 16:47:35 2012 +0100

    3.7.2 development release

Changes since the last tag '3.7.1':

DuÅan Kazik (1):
      Updated slovak translation

Giovanni Campagna (10):
      PlacesMenu: don't fail for GIO errors getting the file name
      native-window-placement: fix disabling the extension
      PlacesMenu: support historical location for bookmarks file
      PlacesMenu: ignore missing local bookmarks
      alternate-tab: port to the new keybindings infrastructure
      alternate-tab: don't show attached modal dialogs
      WindowsNavigator: fix with recent shell
      alternative-status-menu: flip the default hibernate option
      Add "classic-mode" build infrastructure
      Bump version to 3.7.2

Stas Solovey (1):
      Updated Russian translation

ÐÐÑÐÑÐÐÐ ÐÐÐÐÐÐÑ (1):
      Updated Serbian translation