File diff r25945:fafa57d87742 → r25946:208a790a4923