diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-09-19 21:24:31 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-19 23:58:25 +0200 |
commit | f1b65d0dd964e4c457e660b9289a357447939d93 (patch) | |
tree | 14ba5e3afd4ddbe9e86aaf6e06ff31ff6ee940ca /.gitignore | |
parent | 6ab63268e4a100340995fc16cb4afc34c0edae09 (diff) | |
download | guix-patches-f1b65d0dd964e4c457e660b9289a357447939d93.tar guix-patches-f1b65d0dd964e4c457e660b9289a357447939d93.tar.gz |
cve: Disable position recording while reading the CVE list.
* guix/cve.scm (fetch-vulnerabilities)[read*]: New procedure.
Use it in lieu of 'read'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions