Summary of changes: 4053fa7... New upstream release. (*) a2704e7... minor fix (*) cec2f7d... minor fix (*) (*) This commit already existed in another branch; no separate mail sent