<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 22, 2016 at 2:37 PM, Tanya Lattner <span dir="ltr"><<a href="mailto:tanyalattner@llvm.org" target="_blank">tanyalattner@llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><span class=""><blockquote type="cite"><div>On Jul 21, 2016, at 11:59 PM, Sean Silva <<a href="mailto:chisophugis@gmail.com" target="_blank">chisophugis@gmail.com</a>> wrote:</div><br><div><div dir="ltr">Hi Tanya,<div><br></div><div>I was spelunking through bugzilla and ran into an old mailing list link <a href="http://lists.cs.uiuc.edu/pipermail/llvmdev/2006-January/005137.html" target="_blank">http://lists.cs.uiuc.edu/pipermail/llvmdev/2006-January/005137.html</a> (found in PR36).</div><div><br></div><div>I expect this link to be broken since our servers are not on that domain. No big deal, just change it to <a href="http://lists.llvm.org/" target="_blank">lists.llvm.org</a>:</div><div><br></div><div><a href="http://lists.llvm.org/pipermail/llvmdev/2006-January/005137.html" target="_blank">http://lists.llvm.org/pipermail/llvmdev/2006-January/005137.html</a></div><div><br></div><div>Looks like that doesn't exist, as the list has been renamed to llvm-dev. Next try:</div><div><br></div><div><a href="http://lists.llvm.org/pipermail/llvm-dev/2006-January/005137.html" target="_blank">http://lists.llvm.org/pipermail/llvm-dev/2006-January/005137.html</a></div><div><br></div><div>Success! .... or is it? This doesn't look like the correct post that was being linked :(<div><br></div><div>Is there some way for us to get to the intended page for these links? (possibly with some mechanical transformations to the URL). It would be a shame to not be able to follow these cross-references from the old mailing list URL’s.</div></div></div></div></blockquote><div><br></div></span><div>Unfortunately, UIUC is unable to auto-forward to <a href="http://lists.llvm.org" target="_blank">lists.llvm.org</a> (which would fix most of the problem). </div></div></div></blockquote><div><br></div><div>I'm not too worried about this part.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div>However, the change in numbering is not something I think can be fixed.</div></div></div></blockquote><div><br></div><div>That is too bad.</div><div><br></div><div>-- Sean Silva</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><br></div><div>So, I think we are stuck with this..</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>-Tanya</div></font></span></div><br></div></blockquote></div><br></div></div>