Summary of changes: 339fafa... update to latest git (*) 019b08d... fix build (*) a85ef9e... patch cleanup (*) 383f16a... Merge branch 'master' into f21 (*) This commit already existed in another branch; no separate mail sent