diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2019-07-10 14:53:04 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2019-07-10 21:33:48 +0300 |
commit | bba3c489701693c59315efed001b37d6fa014a6c (patch) | |
tree | 0ad82ff897f25910a0cb121b0e01aff93fbe76d3 /gnu/packages/patches | |
parent | 5a4e5c26cc3fb24e0e7f6a2d95f03396f3d0b014 (diff) |
gnu: cvs: Rename patch file.
* gnu/packages/version-control.scm (cvs)[source]: Rename patch.
* gnu/packages/patches/cvs-2017-12836.patch: Rename to ...
* gnu/packages/patches/cvs-CVE-2018-12836.patch: ... this.
* gnu/local.mk (dist_patch_DATA): Register it.
Diffstat (limited to 'gnu/packages/patches')
-rw-r--r-- | gnu/packages/patches/cvs-CVE-2017-12836.patch (renamed from gnu/packages/patches/cvs-2017-12836.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnu/packages/patches/cvs-2017-12836.patch b/gnu/packages/patches/cvs-CVE-2017-12836.patch index 507ab0f7d0..507ab0f7d0 100644 --- a/gnu/packages/patches/cvs-2017-12836.patch +++ b/gnu/packages/patches/cvs-CVE-2017-12836.patch |