On 25 March 2018 at 02:06, Evangelos Foutras via arch-dev-public <[email protected]> wrote: > On 24 March 2018 at 21:33, Bartłomiej Piotrowski via arch-dev-public < > [email protected]> wrote: > >> For the record, the build server lives on at sgp.mirror.pkgbuild.com. >> > > Thanks for taking care of it. I updated the sgp.pkgbuild.com record to > point to the same box.
OK so the same box now hosts a mirror and a build environment. -- GPG/PGP ID: C0711BF1
