Merge branch 'master' into core-updates

This commit is contained in:
Ludovic Courtès 2021-07-18 16:05:21 +02:00
commit 0e47fcced4
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
251 changed files with 56329 additions and 3619 deletions

View file

@ -1150,7 +1150,7 @@ MANIFEST. Single-file bundles are required by programs such as Git and Lynx."
(lambda (port)
(write
`(normal-top-level-add-to-load-path
(list ,@subdirs))
(list ,@(delete-duplicates subdirs)))
port)
(newline port)
#t)))))))