gnu: gnome-shell: Fix CVE-2017-8288.
authorrennes <rennes@openmailbox.org>
Wed, 3 May 2017 03:46:56 +0000 (22:46 -0500)
committerLeo Famulari <leo@famulari.name>
Fri, 5 May 2017 20:12:01 +0000 (16:12 -0400)
commitcc3bc027ebbc924cc60fdcd8e7c8572bd0adf90c
tree31c3849205001d4047cddd6fbbf014c4efcbf626
parentc39a54f431cc6ae61a09f8b06f3593939dd14c9b
gnu: gnome-shell: Fix CVE-2017-8288.

* gnu/packages/patches/gnome-shell-CVE-2017-8288.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gnome.scm (gnome-shell)[source]: Use it.

Co-authored-by: Leo Famulari <leo@famulari.name>
gnu/local.mk
gnu/packages/gnome.scm
gnu/packages/patches/gnome-shell-CVE-2017-8288.patch [new file with mode: 0644]