root e0c48fbac0 chg: use default server instead of hostname		2020-08-10 18:53:09 +00:00
configuration.nix	chg: use default server instead of hostname	2020-08-10 18:53:09 +00:00