winkde.org server maintenance today

[holger at holgis.net]

Hi all,

the winkde.org server will move to a new home now.
For the move i will take it offline for some hours.
Also dns changes will have to propagate.

The old ip address of the server: 82.165.193.233
The new ip address of the server: 213.239.212.8

Ssh access to the new server should work with the
credentials for the old server. I will send a mail
when the move is done.

(lets hope the mail makes its way to the list...)


kr Holger