diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-07-20 23:36:33 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-07-20 23:36:33 +0200 |
| commit | b579b1c1d19f68435d3c919d8a9fb7bc2c238b32 (patch) | |
| tree | 8c40fc73726cf98e0c467d3bb9bbd34e6805f189 /doc/environment-gdb.scm | |
| parent | a022f5a4c1e6176f032df93d9e88b54c00b2c0d5 (diff) | |
gnu-maintenance: Handle lists returned by 'origin-uri'.
This fixes "guix refresh man-pages", for instance.
* guix/gnu-maintenance.scm (latest-savannah-release)
(latest-kernel.org-release): Handle the case where 'origin-uri' returns
a list.
Diffstat (limited to 'doc/environment-gdb.scm')
0 files changed, 0 insertions, 0 deletions