DNS crawler 1.4.7

Ladislav Lhotka

July 2, 2020

Changes in this version:

  • workarounds for some bugs in HTML
  • server caching by IP address