File diff r12499:2e177e6e0453 → r12500:5e5dd00d1e93