chiark / gitweb /
resolved: unify logic how we flush out DNS servers we learnt