diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-12-20 22:19:05 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-20 22:34:22 +0100 |
commit | c5b303c57fcc1082b28a65528893202c252b0b63 (patch) | |
tree | 011bf3bc8f29bfd9379a3c75b8ac9782d435e360 /build-aux/gitlog-to-changelog | |
parent | 724a7d9c7416b53da5ab3d522bf6d7d3ffa3cc5e (diff) | |
download | guix-patches-c5b303c57fcc1082b28a65528893202c252b0b63.tar guix-patches-c5b303c57fcc1082b28a65528893202c252b0b63.tar.gz |
lint: The CPE name of GRUB is "grub2".
Reported by Leo Famulari.
* guix/scripts/lint.scm (package-name->cpe-name): Add "grub".
Diffstat (limited to 'build-aux/gitlog-to-changelog')
0 files changed, 0 insertions, 0 deletions