gnome-shell-extensions 3.11.90

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

* several fixes and improvements to the window-list
  (can be scrolled, works correctly with the OSD
  keyboard, filters skip-taskbar windows, does not
  force all notifications to bold)
* drive-menu fixed not to show shadowed mounts
* updates for gnome-shell changes (launch-new-instance,
  auto-move-windows, places-menu)
* build system fixes for systems without /bin/bash
* updated translations (or, tr, uk)

3.11.5
======
* updates for gnome-shell changes
* updated translations (kn)



Download
========
https://download.gnome.org/sources/gnome-shell-extensions/3.11/gnome-shell-extensions-3.11.90.tar.xz (201K)
  sha256sum: 1f4217da733d9be589e0d7fd3709b6659399bf1a0d274c223d64cb15fc7a015c