chiark / gitweb /
resolv.conf option parsing: Fix word separation