<div dir="ltr"><div>Hi</div><div><br></div><div>Karl wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Indeed. Thanh committed the needed change to pdftex (r888) and I pushed it to TL (r65392).</blockquote><div><br></div><div>I thank Thanh and Karl for this. I'm glad this is resolved, and so promptly!<br></div><div><br></div><div>Aside.  Out of interest, I looked at the diff (on both <a href="http://tug.org/svn">tug.org/svn</a> and on github. I prefer the view provided by github.<br></div><div><br></div><div><a href="https://tug.org/svn/pdftex/branches/stable/source/src/texk/web2c/pdftexdir/pdftex.web?r1=888&r2=887&pathrev=888">https://tug.org/svn/pdftex/branches/stable/source/src/texk/web2c/pdftexdir/pdftex.web?r1=888&r2=887&pathrev=888</a></div><div><br></div><div><a href="https://github.com/tex-mirror/pdftex/commit/a75bc15358e80274a57f869d62b1621de982262d">https://github.com/tex-mirror/pdftex/commit/a75bc15358e80274a57f869d62b1621de982262d</a></div><div><br></div><div>Once again, many thanks (and also to Ulrike for finding and reporting).<br></div><div><br></div><div>Jonathan<br></div></div></div>