nevii IP address change planned for Ganeti migration
I'm migrating nevii, our primary DNS server, to the Ganeti cluster. this implies an IP address change, and therefore all sorts of shenanigans.
after inspection, the changes are fairly "minimal": glue records should not change as the primary DNS server is not publicly exposed. we will need to change all secondary servers, but most of those are in Puppet.
we did have to request extra address space from Hetzner, but this was done in ticket 2020032503025825.