Summary of changes: 3f73bd6... update to upstream release 0.12.0 (*) 6ee81a8... uploaded new sources for 0.12.0 (*) (*) This commit already existed in another branch; no separate mail sent