Summary of changes: bf551b7... rebuild (gcc5) (*) cc14e20... 14.12.2 (*) 0ecc170... 14.12.3 (*) (*) This commit already existed in another branch; no separate mail sent