On 08/11/2016 16:33, Stefan Bodewig wrote: > Hi > > the new machine is vmgump-vm3 rather than vmgump. Do we want to keep the > old name as an alias?
-0. I don't see a need but I have no objection if someone wants that. on a related issue, I can confirm I have access to the new vm. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
