13 May
2018
13 May
'18
11:33 p.m.
Hi Joseph, David, and all - thanks for your hard work on this. I don't foresee a problem. I'll merge this into the pdftex and TL repos as soon as I have a chance, and confirm/get back with any questions. --karl.