[arch-dev-public] New build server in Singapore

[Rashif Ray Rahman]

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