chiark / gitweb /
Allow git.checkout() to work on unmerged indexes

No match.