Summary of changes: d9d9983... 4.7.3 (*) b764341... drop reference to old patch (*) 8575c82... new sources (*) (*) This commit already existed in another branch; no separate mail sent