Commit e755f79fd7b95ed58594b75bdf595b07c3b395f8

Edward Thomson 2016-06-02T00:47:51

index_read_index: differentiate on mode Treat index entries with different modes as different, which they are, at least for the purposes of up-to-date calculations.