Merge branch '18263-upgrader-use-mirror-redirector' into 'stable'
commit1f329054c5eeee51850cdfb414e01cfd2918d564
authorboyska <boyska@riseup.net>
Tue, 17 Jan 2023 09:46:56 +0000 (17 09:46 +0000)
committerboyska <boyska@riseup.net>
Tue, 17 Jan 2023 09:46:56 +0000 (17 09:46 +0000)
tree4f6c1856e9539620976aa6a845ee5d71749a045a
parenta8410ee69ba8d4dde4050d0eea13ce794b018140
parent653cbdee8a5947088dd5126ddc92f8c96452f90c
Merge branch '18263-upgrader-use-mirror-redirector' into 'stable'

Make the Upgrader use the mirror redirector

See merge request tails/tails!983
auto/config
config/chroot_local-includes/etc/environment
wiki/src/contribute/design.mdwn