Summary of changes: 641ddc6... - new upstream release - a lot of new tags files (*) c758174... - new upstream release - a lot of new tags files (*) 7725267... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent