tools.dns.public: Add cloudflare dns

diff --git a/extra/tools/dns/public/public.factor b/extra/tools/dns/public/public.factor
index fe6102d8f0d4cfd0fdd2a294fb5fea011db17883..12f4d0b4e3ff38c4ad16ab0fecb52ea8e449b3e0 100644 (file)
--- a/extra/tools/dns/public/public.factor
+++ b/extra/tools/dns/public/public.factor
@@ -28,3 +28,6 @@ CONSTANT: verizon-dns-servers {
     "4.2.2.6"
 }
 : verizon-host ( domain -- ) [ verizon-dns-servers ] dip dns-host ;
+
+CONSTANT: cloudflare-dns-servers { "1.1.1.1" }
+: cloudflare-host ( domain -- ) [ cloudflare-dns-servers ] dip dns-host ;
\ No newline at end of file