Summary of changes: d3b547c... - Rebuilt for gcc bug 634757 (*) 0196ed3... backport 0.10 (*) be1e2b4... Merge remote branch 'origin/f14/master' into f13/master 2340168... backport 0.10 (*) This commit already existed in another branch; no separate mail sent