diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-03-01 11:37:36 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-01 14:00:21 +0100 |
| commit | 435603a1d6106b535cf143d17cb030b2d0795b54 (patch) | |
| tree | 01ff81d92ae52d7d9046e286b94d91902f5236b8 /gnu/packages | |
| parent | acb59d99dbb8779ecf41cdbba45d2ce8ba88f5ed (diff) | |
| download | patches-435603a1d6106b535cf143d17cb030b2d0795b54.tar patches-435603a1d6106b535cf143d17cb030b2d0795b54.tar.gz | |
profiles: 'manifest-add' truly deletes duplicate entries.
Fixes <https://bugs.gnu.org/30569>.
Reported by Andreas Enge <andreas@enge.fr>.
* guix/profiles.scm (manifest-add): Don't append ENTRIES as is.
Instead, cons each element of ENTRIES as we fold over it.
Remove unneeded ellispes in 'match' patterns.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions