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/local.mk | |
| parent | 426b0b898f70a58133d80779980f163a5761686e (diff) | |
| download | guix-8582e03ae59ff51d2aacc24da611f769484dd4cb.tar.gz guix-8582e03ae59ff51d2aacc24da611f769484dd4cb.zip | |
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/local.mk')
0 files changed, 0 insertions, 0 deletions