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-04-30 23:41:22 +02: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
2015-08-01 12:29:37 +02:00
2016-01-31 23:46:30 -06:00
2018-11-20 12:38:57 +02:00