Summary of changes: 1ed21df... v0.9.9 (*) 5ef76b5... v0.9.12 (*) 2492de8... v0.10.0 (*) 6c755a6... Merge branch 'devel' (*) This commit already existed in another branch; no separate mail sent