<div dir="auto">I control the Auton Lab authoritative DNS. Please stop by my office if you have any questions.<div dir="auto"><br></div><div dir="auto">Predrag </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 11, 2022, 5:18 PM Chirag Nagpal <<a href="mailto:chiragn@cs.cmu.edu" rel="noreferrer noreferrer" target="_blank">chiragn@cs.cmu.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi <div><br></div><div><b><i>Not sure of whom to contact about this so posting on users@autonlab</i></b></div><div><br></div><div>I am not sure of what caused this but I think there were some updates made to the lab DNS records, long story short the URL <a href="http://autonlab.github.io/auton-survival" rel="noreferrer noreferrer noreferrer" target="_blank">autonlab.github.io/auton-survival</a> - does not resolve to the documentation for the auton-survival package hosted here anymore </div><div><a href="https://github.com/autonlab/auton-survival" rel="noreferrer noreferrer noreferrer" target="_blank">https://github.com/autonlab/auton-survival</a><br></div><div><br></div><div>This was working till atleast earlier this morning.... </div><div><br></div><div><b><i>Request you to please reach out to me if you have any information of what might have caused this. It would be nice to have this resolved soon.<br></i></b></div><div><div><br></div>-- <br><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><span style="color:rgb(0,0,0)"><span style="background-color:rgb(255,255,255)"><span><b>Chirag Nagpal<br></b>
PhD Candidate, Auton Lab<br>
School of Computer Science<br>
Carnegie Mellon University<br></span></span></span></div><div><span style="color:rgb(0,0,0)"><span style="background-color:rgb(255,255,255)"><span><a href="http://cs.cmu.edu/~chiragn" rel="noreferrer noreferrer noreferrer" target="_blank">cs.cmu.edu/~chiragn</a><br></span></span></span></div></div></div></div></div></div></div></div>
</blockquote></div>