Summary of changes: 6834f54... this file got messed up somehow (*) 5e71046... - Rebuilt for gcc bug 634757 (*) ade04a5... Merge branch 'master' into f14 (*) This commit already existed in another branch; no separate mail sent