gnome-shell-extensions 3.14.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
====

 * alternateTab: Fix dismissing popup with Escape
 * some improvements to the window-list
   (spacing in app buttons, no flash when closing windows with auto-grouping)
 * updated translations (lv, it, pt, bg)


Download
========
https://download.gnome.org/sources/gnome-shell-extensions/3.14/gnome-shell-extensions-3.14.1.tar.xz (222K)
  sha256sum: 797eda0adc37322aaab7e4b194d69ca7855b0e6e1428bf38f295fd87a18e9b18