Summary of changes: 4b6e873... Fix missing Requires (#689295); add bug note to previous cl (*) 74af07d... Merge branch 'master' into f14 (*) This commit already existed in another branch; no separate mail sent