chiark / gitweb /
resolved: change mapping of BUS_ERROR_NO_NAME_SERVERS to ESRCH