gnome-shell-extensions 40.5

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

* native-window-placement: Fix distorted layout in app grid [Sebastian; !189]
* window-list: Fix on-screen keyboard [Florian; !199]
* Misc. bug fixes [Neal; !195]

Contributors:
  Neal Gompa, Sebastian Keller, Florian Müllner



Download
========
https://download.gnome.org/sources/gnome-shell-extensions/40/gnome-shell-extensions-40.5.tar.xz (214K)
  sha256sum: b8097f1d4972f75d7e405f15305e80a0865de283f0a261e40f6c8fc7907fcf29