gnome-shell-extensions 3.9.92

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

* more updates and fixes for gnome-shell master changes
  and regressions (systemMonitor, window-list, apps-menu)
* lots of updated translations (ar, as, cs, da, de, el, es,
  eu, fi, gl, he, hu, it, ja, kk, ko, lv, nb, nl, pa, pl,
  pt_BR, ru, sk, sr, sr latin, ta, tg)



Download
========
http://download.gnome.org/sources/gnome-shell-extensions/3.9/gnome-shell-extensions-3.9.92.tar.xz (191K)
  sha256sum: fa3459449f91257c630c96876a3ba6820ebd19c5e9b05a165f3526a016fc3fb1