Patch for the PDF backend when setting pdf.use14corefonts=True is used

Nicolas Grilly <nicolas.grilly@...475...>
writes:

Those changes are in the attached patch. It's certainly not a
definitive workaround, but it's better than nothing :wink:

Committed; thanks!

路路路

--
Jouni K. Sepp锟絥en

My pleasure!

路路路

Jouni K. Sepp盲nen <jks@...278...> wrote:

Those changes are in the attached patch. It's certainly not a
definitive workaround, but it's better than nothing :wink:

Committed; thanks!