[arch-dev-public] New build server in Singapore
Rashif Ray Rahman
schiv at archlinux.org
Wed Apr 4 16:45:03 UTC 2018
On 25 March 2018 at 02:06, Evangelos Foutras via arch-dev-public
<arch-dev-public at archlinux.org> wrote:
> On 24 March 2018 at 21:33, Bartłomiej Piotrowski via arch-dev-public <
> arch-dev-public at archlinux.org> 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
More information about the arch-dev-public