File diff r7667:3c17bebdab13 → r7668:4f958c3ba983