[cfarm-users] How to request OS updates for OSUOSL-owned machines?

[Luis Machado]

Hi,

It seems we have 4 AArch64 machines running Ubuntu 14.04. That is pretty 
old and likely not that useful anymore.

I looked around on the GCC farm site, but couldn't find any owner 
contact information.

Is this information available somewhere? Is there a process I should use 
to request a OS update on those machines?

Thanks,
Luis