chiark / gitweb /
path-util: one more empty_or_root() change