27 May
2020
27 May
'20
9: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