chiark / gitweb /
Fix indexing error during "diff -r/"