Summary of changes: d34422e... update sources and changelog prior to build (*) 6a8d5f0... Merge branch 'f20' into f21 (*) (*) This commit already existed in another branch; no separate mail sent