File diff r12766:a6dfd5e21d2f → r12767:3d23682b3fda