<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2018-05-03 10:03 GMT+02:00 David Carlisle <span dir="ltr"><<a href="mailto:d.p.carlisle@gmail.com" target="_blank">d.p.carlisle@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I got 5.2d via tlmgr this morning, so the texlive team have handled this now.<br>
<br>
(Depending on your mirror, it could be another day to be didtributed<br>
everywhere I suppose)<br></blockquote><div><br></div><div>Thanks. I just noticed the the TL team is still catching up. Sorry for the noise.<br><br></div><div>Jürgen<br></div></div></div></div>