Commit 795d8e932893b9944c6fe72191cb80c2ccdd5d34

Carlos Martín Nieto 2014-09-29T08:03:22

index: make sure to write cached subtrees if parent is invalidated If e.g. the root tree is invalidated, we still want to write out its children, since those may still have valid cache entries.