Summary of changes: d2d5721... rebuild (gcc5) (*) 22dad05... 14.12.2 (*) 8a283e3... 14.12.3 (*) (*) This commit already existed in another branch; no separate mail sent