Hi the new machine is vmgump-vm3 rather than vmgump. Do we want to keep the old name as an alias?
Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: general-unsubscr...@gump.apache.org For additional commands, e-mail: general-h...@gump.apache.org