gjs 1.72.1

2022-07-04 Thread Philip Chimento
About gjs = GNOME JavaScript bindings News - Various fixes ported from the development branch. - Closed bugs and merge requests: * Compilation error: call to deleted function 'js_value_to_c' [#473, !738, Evan Miller] * jsapi-util-strings: Ignore locale to compute the upper

polari 42.1

2022-07-04 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Fix showing notification for initial message [Florian; !254] * Misc. bug fixes and cleanups [Florian; !252] Contributors: Jürgen Benvenuti, Piotr Drąg, Nathan Follens,

mutter 42.3

2022-07-04 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 41.8

2022-07-04 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-shell-extensions 42.3

2022-07-04 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.

gnome-shell 42.3.1

2022-07-04 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

gnome-shell 41.8.1

2022-07-04 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

gnome-shell 42.3

2022-07-04 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

gnome-shell 41.8

2022-07-04 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

pango2 0.91.0

2022-07-04 Thread Matthias Clasen
News https://download.gnome.org/sources/pango2/0.91/pango2-0.91.0.news (132K) Download https://download.gnome.org/sources/pango2/0.91/pango2-0.91.0.tar.xz (3.70M) sha256sum: 6ca8738f66255d365b0ace671bec4e9993dbda5eab3d10490eb99057deabe9f8