Commit 046ec3c9d68d4a79ed7efb044d275c62e8a49873

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.