File diff r12646:86f7f03c3590 → r12647:3ada08b745f5