Summary of changes: 024aaaf... New upstream release (*) d140e8b... Upload sources (*) 54c8c2c... Add check (*) 20b19da... New upstream release (*) (*) This commit already existed in another branch; no separate mail sent