diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-11-13 01:00:04 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-11-13 01:00:07 +0100 |
| commit | 0081807e161a8632ae2bddbcefc040d6992134c3 (patch) | |
| tree | 14eff95c02b663b223b69771ae4bb07c38656ae8 /gnu | |
| parent | 39e4e00f75be8055300cb0afffb8bd4b4d35f2cc (diff) | |
| download | guix-0081807e161a8632ae2bddbcefc040d6992134c3.tar.gz guix-0081807e161a8632ae2bddbcefc040d6992134c3.zip | |
guix: Replace defective freemirror.org.
This ‘mirror’ is particularly problematic because it's the only one checked
by ‘guix refresh’.
* guix/gnu-maintenance.scm (%savannah-base): Substitute freedif.org.
* guix/download.scm (%mirrors): Likewise.
Reported by sash-kan on #guix.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions