tools.dns.public: cloudflare has more dns servers

diff --git a/extra/tools/dns/public/public.factor b/extra/tools/dns/public/public.factor
index 660f7042b03d163e34b331805f828be6df9ba163..a0c9791ed367c2ce6e9851df84e7f4e08920737f 100644 (file)
--- a/extra/tools/dns/public/public.factor
+++ b/extra/tools/dns/public/public.factor
@@ -34,6 +34,8 @@ CONSTANT: verizon-dns-servers {
 : verizon-host ( domain -- ) [ verizon-dns-servers ] dip dns-host ;
 
 CONSTANT: cloudflare-dns-servers { "1.1.1.1" "1.0.0.1" }
+CONSTANT: cloudflare-dns-servers-no-malware { "1.1.1.2" "1.0.0.2" }
+CONSTANT: cloudflare-dns-servers-no-malware-no-adult { "1.1.1.3" "1.0.0.3" }
 : cloudflare-host ( domain -- ) [ cloudflare-dns-servers ] dip dns-host ;
 
 CONSTANT: quad9-dns-servers { "9.9.9.9" "149.112.112.112" }