gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <>
Subject Re: do we want to keep the hostname?
Date Tue, 08 Nov 2016 17:35:38 GMT
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 :-)


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

View raw message