Summary of changes: 8b3e30a... 3.13.4 (*) a73541a... Merge branch 'f17' into f18 (*) 383bf7a... Merge branch 'f18' into f19 (*) (*) This commit already existed in another branch; no separate mail sent