chiark / gitweb /
Check for disappeared newborn files in git.tree_status (bug #8516)