File diff r9677:9dec7fb5b7dd → r9678:b6aeab97f84b