Summary of changes: 119f078... Merge branch 'f17' (*) 0477a97... Update to 2.13 - WIP (*) 4359865... build fix (*) 4c36a10... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent