diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-20 22:31:38 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-21 00:06:40 +0200 |
| commit | a322e9d16b227484ce04721fee0f99618cb1007e (patch) | |
| tree | 5ea8a61cf9d7ebc3d6ca360e10d1899862fad382 /THANKS | |
| parent | b25ecfa2e0ab6642dc35f7f68a24117e33f5795f (diff) | |
services: etc: Detect and report duplicate entries.
Fixes <https://bugs.gnu.org/40729>.
Reported by Christopher Baines <mail@cbaines.net>.
* gnu/services.scm (files->etc-directory)[assert-no-duplicates]: New
procedure.
Use it.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions