Polari 3.36.2

2020-04-29 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Fix information leak when re-using account IDs [Florian; #132] Contributors: Florian Müllner Translators: Cheng-Chia Tseng [zh_TW], Emin Tufan Çetin [tr] Download ==

Polari 3.37.1

2020-04-29 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Add the ability to mute nicknames [Florian; !153] Download https://download.gnome.org/sources/polari/3.37/polari-3.37.1.tar.xz (1004K) sha256sum: bd197d5fe557b16

GNOME Shell Extensions 3.36.2

2020-04-29 Thread Florian Müllner
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. New

GNOME Shell Extensions 3.37.1

2020-04-29 Thread Florian Müllner
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. New

GNOME Shell 3.37.1

2020-04-29 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to pro

GNOME Shell 3.36.2

2020-04-29 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to pro

Mutter 3.36.2

2020-04-29 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Mutter 3.37.1

2020-04-29 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME 3.34.6 released

2020-04-29 Thread Michael Catanzaro
Hi, GNOME 3.34.6 is now available. This is our second "oldstable" release, intended to benefit distributions that have not yet upgraded to GNOME 3.36, and also flatpak applications that are still using the 3.34 runtime. If you want to compile GNOME 3.34.6, you can use the official BuildStre