File diff r6936:6f0a52e3732c → r6937:bea726150bf3