On Thu, 1 Sept 2022 at 09:29, David BERARD <[email protected]> wrote: > Can you please remove the server from the mirror system ? Is there anything I > have to do on my side ?
Done and no. :)
- Mirror shutdown David BERARD
- Re: Mirror shutdown Evangelos Foutras
- Re: Mirror shutdown services+mirrors
