Summary of changes: 8a49cbc... Update to 0.17.5 (*) abbb1b3... Update spec (*) 3805f55... Merge branch 'master' into f19 (*) This commit already existed in another branch; no separate mail sent