gnome-shell-extensions 3.9.5

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

* alternative-status-menu was removed entirely, as
  it does not fit in the designs of the new unified
  status menu
* updated translations (as, gu, it, ru)



Download
========
http://download.gnome.org/sources/gnome-shell-extensions/3.9/gnome-shell-extensions-3.9.5.tar.xz (180K)
  sha256sum: 02ec1f66bc19cdae8d19f8c466b1333a6b38411997090ee894f1e9d1bb0effc9