<div dir="ltr">I sent the mail from Gmail. I checked the source using the Gmail "show original" mode (which displays a mail in plain text including headers and all MIME sections) from a different computer, but I cannot find that URL. I cannot check an email copy that the mailing list server sent back because Gmail automatically de-dup emails, which is annoying, but I think it's unlikely that my machine is infected from evidences I've seen so far. Maybe a mail transfer agent in between Gmail to you inserted the link? I'd appreciate if you can forward the mail including headers to me.</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 27, 2015 at 9:12 AM, David Chisnall <span dir="ltr"><<a href="mailto:David.Chisnall@cl.cam.ac.uk" target="_blank">David.Chisnall@cl.cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 27 May 2015, at 16:49, Rui Ueyama <<a href="mailto:ruiu@google.com">ruiu@google.com</a>> wrote:<br>
><br>
> David,<br>
><br>
> The link works fine with my Mac and Android. The source of the mail looks okay to me (I verified that from a different machine than the one I sent the mail). You may want to check your browser or proxy?<br>
<br>
</span>It’s correct in the plain-text version of the mail.  The HTML MIME part contains this:<br>
<br>
<a href=3D"<a href="https://urldefense.proofpoint.com/v2/url?u=3Dhttp-3A__reviews=" target="_blank">https://urldefense.proofpoint.com/v2/url?u=3Dhttp-3A__reviews=</a><br>
.llvm.org_D10036&d=3DAwMFaQ&c=3D8hUWFZcy2Z-Za5rBPlktOQ&r=3DMfk2qtn1LTDThVkh=<br>
6-oGglNfMADXfJdty4_bhmuhMHA&m=3D8dYF1obzqNfZvfOxlk7H-g8VUfu1ZyS0GdcCWRkWxCk=<br>
&s=3DRu6670O4y8SpAwlp17gVmI7BLz3mIY7gs1Irvo9iDRw&e=3D"><a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__reviews.llvm.&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=UxTA9_ALGj6dP9lASAs-vE6FoBX_s9ZbD803t-a4XQA&s=Ubr9G2mEli5qzBQAq5lmtafexJu4OZ_lw4HIpfG_QKM&e=" target="_blank">http://reviews.llvm.</a>=<br>
org/D10036</a><br>
<br>
Apparently they’re not malicious, but I find it somewhat unnerving when the URL that I click on turns out not to be the one that the mouseover text pops up.  If you feel the need to insert a redirection link, I’d very much appreciate it if you would post the full link in the text version, as well as the href.  If, on the other hand, you are unaware that your computer is doing this, then I would encourage you to work out what it is and that it is not malicious.<br>
<br>
The archives only include the plain text version, not the HTML copy, so will not see this.<br>
<span class="HOEnZb"><font color="#888888"><br>
David<br>
<br>
</font></span></blockquote></div><br></div>