Summary of changes: 45721c3... New version 0.42.2 (*) 094e555... Version 0.42.3 (*) 0a5808d... Version 0.42.3 (*) (*) This commit already existed in another branch; no separate mail sent