26 Jan
2018
26 Jan
'18
12:26 a.m.
the pdfTeX issue can be avoided by applying the attached patch. I installed it (pdftex r793, tl r46443). Thanks again. --karl