gnome-shell-extensions 3.10.1

[Florian Müllner <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
====

* updated translations (af, ca, ca valencia, de, et, eu, fa,
  hu, lt, lv, nb, nl, pa, pt, sk, sr, sr latin, tr)



Download
========
https://download.gnome.org/sources/gnome-shell-extensions/3.10/gnome-shell-extensions-3.10.1.tar.xz (195K)
  sha256sum: 9baa9ddaf4e14cab6d4d7944d8dc009378b25f995acfd0fd72843f599cb5ae43