- nono.debian.org
dbmaster:
- draghi.debian.org
+ debtags:
+ - tate.debian.org
dns_primary:
- denis.debian.org
dns_geo:
- jerea.debian.org
- nono.debian.org
- ticharich.debian.org
+ - tate.debian.org
static_master:
- dillon.debian.org
- franck.debian.org