File diff r25947:d5118de4d12e → r25948:6ebaa8a3b0d6