diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2017-01-23 10:28:15 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2017-01-23 10:28:15 +0200 |
| commit | 0e88ada940953ac6b12fcbfd2add08835edcf49d (patch) | |
| tree | 8d04d775ae4173d4da54d8fc1a7713d8095c8bdf /etc | |
| parent | 026ee1a5a669658c8d4745c2733b4c201ca0e48e (diff) | |
| download | patches-0e88ada940953ac6b12fcbfd2add08835edcf49d.tar patches-0e88ada940953ac6b12fcbfd2add08835edcf49d.tar.gz | |
gnu: Remove pcre-CVE-2016-3191.patch.
This is a follow-up to 026ee1a5a669658c8d4745c2733b4c201ca0e48e.
* gnu/packages/patches/pcre-CVE-2016-3191.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions