[vpp-dev] 13:52:42 wget: unable to resolve host address ‘nexus.fd.io’

[Keith Burns]

https://gerrit.fd.io/r/#/c/4754/1

Also https://gerrit.fd.io/r/#/c/4758/ failed for some spurious reason.

_______________________________________________
vpp-dev mailing list
vpp-dev@lists.fd.io
https://lists.fd.io/mailman/listinfo/vpp-dev