Summary of changes: 8d9df5d... remove duplicate headers (#886064) (*) 8adc46e... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent