Summary of changes: d49b620... v10, rebuild (*) ec48620... v12 (*) 751f80f... update sources (*) 1027ef7... fix merge (*) This commit already existed in another branch; no separate mail sent