File diff r25725:e1fbdd2a5f81 → r25726:96b4fe65dab7