Summary of changes: 4e581c7... 0.10.0 (*) 3a790c6... Forgotten sources (*) 73b8ed6... - Rebuilt for gcc bug 634757 (*) 68221df... Merge commit '73b8ed6e5c2b5f204fdfe07fb78629da9d817780' int (*) This commit already existed in another branch; no separate mail sent