![](https://secure.gravatar.com/avatar/f7401dbc30c2a848e67574f0dec2e277.jpg?s=120&d=mm&r=g)
27 May
2020
27 May
'20
1:21 a.m.
Hi,
Thanh has committed a fix to the pdftex repo (r828).
Thanks. I think the additions of (r<>null) are no-op thus can be removed. (It does no harm, though.) I wonder if there is still some possibility of uninitialized save_tail (which is 0, not null). Hironobu