Hello, Again: we didn’t manage to do it last friday, so it will be tomorrow.

On 25 Jun 2015, at 16:33, Marcus Denker <marcus.denker@inria.fr> wrote:

Hello,

Friday morning we will do some DNS level changes for smalltalkhub.com.

This should normally have no impact on the server, as the new DNS server will point to the same IP as the old.

Marcus