Vladimír Čunát 075e8aeecb

dns-root-data: switch to new URL ...

There's a redirect in place, so it doesn't really matter.

2020-07-01 16:20:48 +02:00

..

default.nix

…

root.ds

…

root.key

…

update-root-key.sh

…