chiark / gitweb /
resolved: filter out duplicate DNS servers when writing resolv.conf