Hi Ludovic, Ludovic Courtès <l...@gnu.org> writes:
> These patches (actually the last one) switch Guix to default to > <https://ci.guix.info> for substitutes, in preparation for the > upcoming 0.16.0 release (hopefully this week!). Who owns the guix.info domain? Also, who owns the guixsd.org domain? Thanks, Mark