<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi,</div>
<div> </div>
<div>After recent updates to leapseconds.awk to include IERS as a source for leap-seconds.list, one URL given for the file at NIST still is ftp://ftp.nist.gov/pub/time/leap-seconds.list:</div>
<div> </div>
<div> print "# This file is generated automatically from the data in the public-domain"<br/>
print "# NIST/IERS format leap-seconds.list file, which can be copied from"<br/>
print "# <https://hpiers.obspm.fr/iers/bul/bulc/ntp/leap-seconds.list>"<br/>
print "# or, in a variant with different comments, from"<br/>
print "# <ftp://ftp.nist.gov/pub/time/leap-seconds.list>"<br/>
print "# or <ftp://ftp.boulder.nist.gov/pub/time/leap-seconds.list>."</div>
<div> </div>
<div>However, at least for me, and at this time, the hostname ftp.nist.gov does not resolve. ftp.boulder.nist.gov does resolve.</div>
<div> </div>
<div>If others are seeing the same, and the condition persists, maybe the URL based on ftp.nist.gov should be removed.</div>
<div> </div>
<div>Thanks!</div></div></body></html>