Marius Bakke 8308f0ba9e
gnu: webkitgtk: Update to 2.24.2 [security fixes].
This fixes CVE-2019-8595, CVE-2019-8607, and CVE-2019-8615.

* gnu/packages/patches/webkitgtk-sse2.patch: Delete file.
* gnu/packages/patches/webkitgtk-sans-gstreamer-gl.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/webkit.scm (webkitgtk-2.24): Update to 2.24.2.
[source](patches): Add the new patch; remove 'webkitgtk-sse2.patch'.
2019-05-21 17:25:54 +02:00
..
2018-11-25 23:29:09 +01:00
2018-08-25 17:05:30 -04:00
2018-11-17 00:20:44 -06:00
2019-01-10 02:49:14 +01:00
2016-10-06 18:14:45 +02:00
2018-11-20 12:38:57 +02:00
2014-06-13 14:11:14 -05:00