two build machines down

[Ted Yu]

Hi,
I noticed that ubuntu1 and ubuntu2 are offline.

Can someone bring them up please ?

Thanks