Summary of changes: 08f1786... another rebuild (*) dde0a44... latest release (*) 83c503e... remove old patch (*) 33bf67b... Latest upstream release, 0.5.13 (*) (*) This commit already existed in another branch; no separate mail sent