gnome-shell-extensions 41.beta

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

* window-list: Extend reactive area of minimap to screen edges [Adam; 
!171]
* drive-menu: Improve detection of network mounts [Florian; !27, !176]


Download
========
https://download.gnome.org/sources/gnome-shell-extensions/41/gnome-shell-extensions-41.beta.tar.xz 
(214K)
 sha256sum: 
c80df073796d7a19eb1196960830e8c836c84d6ded49ed5b17ed13d4ef0443cb