chiark / gitweb /
util-lib: rename CHASE_NON_EXISTING → CHASE_NONEXISTENT