Summary of changes: 70fc333... v115 (*) 3ef48e7... v116 (*) 6af2c33... v117 (*) 118960d... add patch to fix typo (*) (*) This commit already existed in another branch; no separate mail sent