chiark / gitweb /
barrier: suppress false-positive warning