Summary of changes: 9378873... New upstream release. (*) 46002ba... New upstream release. (*) 0fef8c0... New upstream release. (*) e2c4cdc... more fixes (*) d0973be... more fixes (*) f206c30... Merge remote branch 'origin/f15' into f14 (*) (*) This commit already existed in another branch; no separate mail sent