Summary of changes: 14d1dad... - update to 4.42.0 - Fix docdir (*) 33ea52a... - update to 4.42.0 (*) (*) This commit already existed in another branch; no separate mail sent