Summary of changes: 962ec41... latest upstream git snapshot with prime + fixes (*) 5603da1... Merge branch 'master' into f18, and 2.20.7 (*) (*) This commit already existed in another branch; no separate mail sent