File diff r25627:a3297d91e516 → r25628:5b71672f98f6