diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-02-28 18:23:28 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-02-28 18:23:31 +0100 |
commit | 8297ff0f931a677c51ca7c64a844a55cd6cd2ef4 (patch) | |
tree | 288e5e6e3bf0e8dfc8d10aacd612941455fb486a /HACKING | |
parent | 3d185f5562291ca2879fc703dbe61ed99fa929ad (diff) |
gnu: pcre2: Update to 10.31.
* gnu/packages/pcre.scm (pcre2): Update to 10.31.
[source]: Remove upstreamed patches.
* gnu/packages/patches/pcre2-CVE-2017-7186.patch: Delete this file...
* gnu/packages/patches/pcre2-CVE-2017-8786.patch: ...and this one.
* gnu/local.mk (dist_patch_DATA): Remove them.
Diffstat (limited to 'HACKING')
0 files changed, 0 insertions, 0 deletions