Summary of changes: 614cd4e... import (#834127). (*) 6fbb359... Rebuild (*) 8f652de... add patch for (#923961) (*) e6afe53... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent