File diff r7847:fcc0bb4f7cce → r7848:705b74bab657