Summary of changes: e587f8b... update to 2.0.12 (*) a8e7cfc... more tweaks (*) ebfdca5... Merge branch 'master' into f19 (*) This commit already existed in another branch; no separate mail sent