Patch title: Release 87 bulk changes
Abstract:
File: /pliant/protocol/dns/client.pli
Key:
    Removed line
    Added line
   
abstract
  [This is a DNS client implementation, according to RFC 103


constant os_resolution  (dns_query_os "www.debian.org")<>""
constant direct_resolution (dns_query "www.debian.org" 1)<>"
if os_resolution and not direct_resolution
abstract
  [This is a DNS client implementation, according to RFC 103


constant os_resolution  (dns_query_os "www.debian.org")<>""
constant direct_resolution (dns_query "www.debian.org" 1)<>"
if os_resolution and not direct_resolution
  console "Using "+os_api+" API for name -> IP address resol
  compile_log "Using "+os_api+" API for name -> IP address resolution."


export dns_query


export dns_query