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 (*) 722aebd... Merge branch 'f13' into f14 (*) This commit already existed in another branch; no separate mail sent