gnome-shell-extensions 3.9.4

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

* apps-menu: fixed handling of hot corner in case
  of screen reconfiguration
* alternative-status-menu now correctly honors polkit
  for hibernation
* user-menu now loads themes from $XDG_DATA_HOME too
* translation updates (de, id, pt_BR, vi, zh_CN, ml)



Download
========
http://download.gnome.org/sources/gnome-shell-extensions/3.9/gnome-shell-extensions-3.9.4.tar.xz (179K)
  sha256sum: 9cff595ff81f428a24a1cd4bd7d78b47e77a99a0c03c67245cf219665cd0ca26