![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
5 Jun
2020
5 Jun
'20
4:28 p.m.
Just to close the loop on this: Please find the attached patches (for pdftex r828 and tl svn) As you've probably seen, Thanh and Akira and I between us have committed it to both TL and pdftex. I synced the two repositories, hopefully without losing anything. Thanks much. -k