Summary of changes: d2090b9... New bugfix upstream release (*) c5d4be7... Bugfixes (*) 025e54a... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent