Summary of changes: 1b843b6... 0.12. (*) (*) This commit already existed in another branch; no separate mail sent