On Fri, Feb 25, 2022 at 10:24 PM Esger Renkema <p...@elrenkema.nl> wrote:
> Please see the attached patch; it solves this issue and also a similar > one with pdf.setnames() that I have reported before in [1], but which > apparently has not been seen. > > Warm regards, > Esger Renkema > patched pdfgen.c and committed. -- luigi