gnome-shell-extensions 3.7.3

[Giovanni Campagna <install-module master gnome org>]

About GNOME Shell Extensions
============================

GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News
====

* new extensions: default-min-max, static-workspaces
* alternate-tab now uses the built-in window switcher and just
  takes over the switch-application keybinding
* workspace-indicator: is no longer part of classic-mode
* we now install classic-mode data files for gdm, gnome-session
  and gnome-shell, so if you enable classic-mode you get a new
  session option in GDM
* updated translations (ar, es, pl, ru, sl, zh_HK, zh_TW)



Download
========
http://download.gnome.org/sources/gnome-shell-extensions/3.7/gnome-shell-extensions-3.7.3.tar.xz (160K)
  sha256sum: 2f565691864710644ef2dc8b5f8ae4437e13b4b4d53ae46aebd01c1ffd108e2a