raid5atemyhomework <raid5atemyhomework@protonmail.com> writes:

> In any case, it looks to me that bordeaux is already in
> `%default-substitute-mirrors`, which this patch uses, so it should get
> included anyway as a fallback in case the SJTU mirror is not available
> or something.  So maybe the patch is OK as-is?

I haven't looked at the changes here, but given bordeaux.guix.gnu.org is
a default substitute server, I don't think it'll need special handling.