File diff r1342:eda5f9dc2b6c → r1343:ea7fb505ae74