Summary of changes: d8241ed... New 0.8.3 sources. (*) 5e71eac... Update to 0.8.3 (*) c6e29d1... Remove upstreamed patch (*) bffcc71... Merge branch 'f19' into f18 (*) This commit already existed in another branch; no separate mail sent