Leo Famulari 8582e03ae5
gnu: Remove a left-over patch.
This is a followup to commit 426b0b898f70a58133d80779980f163a5761686e.

* gnu/packages/patches/pcre-CVE-2017-7186.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-07-20 09:00:36 -04:00
..
2017-07-15 12:53:37 +02:00
2017-07-20 09:00:36 -04:00
2017-07-18 20:16:03 +08:00
2017-07-20 09:00:36 -04:00
2017-05-16 14:41:01 +02:00