Summary of changes: 51b0241... More upstream fixes for bug #599564. (*) c755f33... Avoid epstopdf failure using upstream patch (bug #627390). (*) 3f91350... Merge branch 'f12' into f13 (*) This commit already existed in another branch; no separate mail sent