diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-12-12 14:55:32 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-12-12 15:03:05 +0100 |
| commit | 3677b97030e5954fa26bdb435e0d3379a1a4ec43 (patch) | |
| tree | bb3d364684a72d6dd8461c3f2be543018a770848 /gnu/packages/coq.scm | |
| parent | 94e9651241b3e827531779717952d386535801f3 (diff) | |
| download | guix-3677b97030e5954fa26bdb435e0d3379a1a4ec43.tar.gz | |
pki: 'public-keys->acl' deduplicates entries.
Reported by Tobias Geerinckx-Rice <me@tobias.gr>
in <https://issues.guix.gnu.org/50892>.
* guix/pki.scm (public-keys->acl): Add call to 'delete-duplicates'.
* tests/pki.scm ("public-keys->acl deduplication"): New test.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions