Summary of changes: 7fa6be7... Rename patch files to not be version-specific (*) 664b4e1... Update to 0.13.4 (*) (*) This commit already existed in another branch; no separate mail sent