Summary of changes: defb2da... 14.12.2 (*) c11d774... 14.12.3 (*) 97e9ea2... Merge branch 'master' into f21 (*) This commit already existed in another branch; no separate mail sent