Summary of changes: 9b76c98... Update to 3.12.8 (*) f119b17... Merge branch 'f14' into f13 (*) e2b165a... Merge branch 'f13' into f12 (*) This commit already existed in another branch; no separate mail sent