Summary of changes: aeaba28... 0.12-2: rebuild against latest gcc (*) 6029492... 0.12-3: rebuild against latest gcc (*) a72e740... 0.12-4: rebuild against latest gcc (*) 095d2f2... 0.12-5: rebuild against latest gcc (*) (*) This commit already existed in another branch; no separate mail sent