Summary of changes: 8f0d13b... - 4.5.2 (*) a6390ea... drop deprecated crud (*) 8a7e567... Merge remote branch 'origin/master' into f14/master (*) This commit already existed in another branch; no separate mail sent