gnu: Remove leftover patch.
authorLeo Famulari <leo@famulari.name>
Mon, 16 Jul 2018 18:24:59 +0000 (14:24 -0400)
committerLeo Famulari <leo@famulari.name>
Mon, 16 Jul 2018 19:03:31 +0000 (15:03 -0400)
commit36bbac734f2b7adda39bbda4ff8f5498347adfd3
tree5d489759f1d4d86cef64457902133bbae7ee3d3f
parent8bbb79cf95a07a40950448a8a09d888254404ed4
gnu: Remove leftover patch.

* gnu/packages/patches/file-CVE-2017-1000249.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.patch'.
gnu/local.mk
gnu/packages/patches/file-CVE-2017-1000249.patch [deleted file]