chiark / gitweb /
timeout robustness: Introduce adns__timeout_{set,clear}