diff options
author | Leo Famulari <leo@famulari.name> | 2017-07-20 08:59:35 -0400 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2017-07-20 09:00:36 -0400 |
commit | 8582e03ae59ff51d2aacc24da611f769484dd4cb (patch) | |
tree | a49cec5fcb5f48ea5c7654ca736f8a6882281c28 /doc | |
parent | 426b0b898f70a58133d80779980f163a5761686e (diff) | |
download | guix-patches-8582e03ae59ff51d2aacc24da611f769484dd4cb.tar guix-patches-8582e03ae59ff51d2aacc24da611f769484dd4cb.tar.gz |
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.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions