gnome-shell-extensions 3.2.0

[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
====

* various: update for gnome-shell API changes

3.1.91
======

* gajim: update for gnome-shell API changes

3.1.90
======

* All extensions have been ported to the new extension
  system (including live enable/disable)
* Updated translations
* xrandr-indicator no longer requires a specific gjs version
* windowsNavigator fixed for more than 2 workspaces



Download
========

http://download.gnome.org/sources/gnome-shell-extensions/3.2/gnome-shell-extensions-3.2.0.tar.xz  (121K)
  sha256sum: dfbd5b7baed71219c6855c1b15c323b6e66a2163af8f9a1c2431d6ce90784f98

http://download.gnome.org/sources/gnome-shell-extensions/3.2/gnome-shell-extensions-3.2.0.tar.bz2 (134K)
  sha256sum: 95c30865d64c649191e2fc0b0320e6c25e75ac098b87c8080e0bc2a9cd7a69c6