Summary of changes: 37291be... rebuild (gcc5) (*) 773fd3b... 14.12.2 (*) ea31a69... 14.12.3 (*) (*) This commit already existed in another branch; no separate mail sent