File diff r25618:b5050eb6e9cd → r25619:54e015e45b51