chiark / gitweb /
dgit: When source discrepancy involves mode changes, report them specially.