On Sun, Nov 12, 2017 at 08:53:09PM +0000, Devuan Mirrors wrote:
> Dear Mirror Admins,
>
> just to let you know that we are migrating pkgmaster.devuan.org
> to our new server. This will entail a change of IP, so ssh will
> ask you to accept to put the new IP in the list of known hosts.
> This will probably result in the failure of your first attempt
> to rsync your mirror after the migration.
>
> The migration will happen in the following time slot:
>
> *** Mon. 13th Nov. 2017 -- 21:00 UTC -- 22:00 UTC ***
>

Dear Mirror admins,

just to let you know that the IP change has happened. The new
IP for pkgmaster is 5.196.38.18. DNS are propagating.

HND

The Dev1Devs