On 08/11/2016 17:35, Stefan Bodewig wrote: > 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 :-)
I get it automatically via my infra karma. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: general-unsubscr...@gump.apache.org For additional commands, e-mail: general-h...@gump.apache.org