Commit 2b2dfe80f065f284aa53351d7203e31cf001cf8a

Carlos Martín Nieto 2015-05-12T12:07:33

index: include TYPECHANGE in the diff Without this option, we would not be able to catch exec bit changes.