GNOME Shell Extensions 3.32.1
- From: Florian Müllner <fmuellner gnome org>
- To: gnome-shell-list <gnome-shell-list gnome org>, gnome-announce-list <gnome-announce-list gnome org>
- Subject: GNOME Shell Extensions 3.32.1
- Date: Wed, 17 Apr 2019 23:13:17 +0200
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
====
* Fix windowsNavigator extension after ES6 port [Florian; #143]
* screenshot-window-sizer: Add phone screenshot sizes [Adrien; !65]
* Misc. bug fixes and cleanups [Fabian; !62]
Contributors:
Florian Müllner, Adrien Plazas, Fabian P. Schmidt
Download
========
https://download.gnome.org/sources/gnome-shell-extensions/3.32/gnome-shell-extensions-3.32.1.tar.xz
(194K)
sha256sum: 02b2b2fb477fcd8277ee3ce34ec156d97724011f2660dd2e14c412f18d5b911e
[
Date Prev][Date Next] [
Thread Prev][Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]