diff options
| author | Leo Famulari <leo@famulari.name> | 2018-07-16 14:24:59 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2018-07-16 15:03:31 -0400 |
| commit | 36bbac734f2b7adda39bbda4ff8f5498347adfd3 (patch) | |
| tree | 5d489759f1d4d86cef64457902133bbae7ee3d3f /THANKS | |
| parent | 8bbb79cf95a07a40950448a8a09d888254404ed4 (diff) | |
gnu: Remove leftover patch.
* gnu/packages/patches/file-CVE-2017-1000249.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.patch'.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions