File diff r7677:1bbaf9af8eb0 → r7678:10b1447703da