On 2016-11-08, Mark Thomas wrote: > On 08/11/2016 16:33, Stefan Bodewig wrote:
>> 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. Same here. > on a related issue, I can confirm I have access to the new vm. Strange, I don't recall enabling it. Good to know anyway :-) Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
