File diff r7607:e08d498b38c8 → r7608:77bc663268b5