<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 26 Feb 2021 at 22:59, Karl Berry <<a href="mailto:karl@freefriends.org">karl@freefriends.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">    But the binary is (or claims to be) 2020<br>
<br>
Ken committed the cygwin binaries yesterday, so they probably weren't<br>
distributed around yet. I imagine they'll be at whatever pretest mirror<br>
you're using later today or tomorrow.<br></blockquote><div><br></div><div>they arrived here today already via tlmgr  thanks!</div><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
    I'd have expected it to fail to install rather than install an old one if<br>
    this was the case?<br>
<br>
No, I don't delete the old binaries; all the consistency checks would go<br>
haywire. It doesn't seem bad to me to keep the existing binaries until<br>
the new ones are in, anyway. Which, in practice, is pretty quickly.<br></blockquote><div><br></div><div>Sure it's fine I nearly didn't mention it but then thought if they had been dropped by accident and I hadn't mentioned  it I'd wish I had.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Thanks for trying it, in any case. -k<br></blockquote><div><br></div><div>David</div><div> <br></div></div></div>