<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Hi all
<div class=""><br class="">
</div>
<div class="">We are having problems connecting to maia.usno.navy.mil. It seems to be a DNS issue, not network connectivity:</div>
<div class=""><br class="">
</div>
<div class="">
<pre style="margin-top: 0px; margin-bottom: 0px; padding: 0px; max-height: 30em; overflow: auto; overflow-wrap: normal; word-break: normal; color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(244, 245, 247);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>Couldn't resolve host 'maia.usno.navy.mil'</pre>
<div class=""><br class="">
</div>
</div>
<div class="">Is anyone on this list who can comment?</div>
<div class=""><br class="">
</div>
<div class="">Cheers</div>
<div class="">Chris</div>
</body>
</html>