gnome-shell-extensions 3.7.90

[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 fixes to make places-menu behave more
  like Nautilus, including showing the machine
  name in place of File System
* various updates for shell changes
* alternative-status-menu no longer supports
  ConsoleKit systems, you need to install logind
  to have suspend or hibernate
* translation updates (es, cz, pl, sr)



Download
========
http://download.gnome.org/sources/gnome-shell-extensions/3.7/gnome-shell-extensions-3.7.90.tar.xz (168K)
  sha256sum: d5fe779f7c6e6f6809cac4be624cb7ec358854a6a1efbf81e4fff218300838fb