chiark / gitweb /
Flush the HEAD cache in set_head_file()