gnome-shell 3.19.3

[Florian Müllner <install-module master gnome org>]

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 provide a
visually attractive and easy to use experience.

Tarball releases are provided largely for distributions to build
packages. If you are interested in building GNOME Shell from source,
we would recommend building from version control using the build
script described at:

 https://wiki.gnome.org/Projects/GnomeShell

Not only will that give you the very latest version of this rapidly
changing project, it will be much easier than get GNOME Shell and its
dependencies to build from tarballs.

News
====

* Fix thumbnail scaling in window switcher on HiDPI [Florian; #758676]
* Update animated backgrounds on timezone changes [Florian; #758939]
* loginDialog: Update user list on user changes [Michael; #758568]
* Fix touch interaction on wayland [Carlos; #756748]

Contributors:
  Michael Catanzaro, Carlos Garnacho, Kalev Lember, Florian Müllner

Translations:
  Daniel Korostil [uk], Muhammet Kara [tr], Dušan Kazik [sk],
  Baurzhan Muftakhidinov [kk], Marek Černocký [cs]



Download
========
https://download.gnome.org/sources/gnome-shell/3.19/gnome-shell-3.19.3.tar.xz (1.52M)
  sha256sum: 9154608b5ad05a3e7252658847d2fea4ad05936f6afef9e9c6593c33d4a47da0