Summary of changes: afaa566... fix build failure with new gcc5 (*) 18a859a... Merge branch 'master' into f22 (*) dd1c688... Merge branch 'master' into f22 (*) (*) This commit already existed in another branch; no separate mail sent