Summary of changes: 23ed5d4... rebuild (gcc5) (*) 111a925... 14.12.2 (*) 83fbd5b... 14.12.3 (*) (*) This commit already existed in another branch; no separate mail sent