Re: DNS issue on build nodes

[Chris Lambertus]

> On May 15, 2020, at 7:59 PM, Chris Lambertus <c...@apache.org> wrote:
> 
> All,
> 
> Infra is investigating problems with DNS on the build nodes.
> 


The DNS issue (which also affected docker) should be fixed now.

-Chris