gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Mark Thomas <>
Subject Re: do we want to keep the hostname?
Date Tue, 08 Nov 2016 17:31:32 GMT
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.


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message