Summary of changes: 9a738ba... v0.5.12 (*) 2ef8d27... v0.5.13 (*) 39f81f1... add v0.5.13 sources (*) 6ab4912... v0.5.14 (*) e647b11... v0.5.15 (*) f0b769b... v0.5.16 (*) 5b5cc71... v0.5.17 (*) 2b38aa0... v0.5.18 (*) 35ba4f2... v0.6.0 (*) (*) This commit already existed in another branch; no separate mail sent