<div dir="ltr">Vince submitted a fix for this in r238043.<br><br><div class="gmail_quote"><div dir="ltr">On Tue, May 26, 2015 at 3:14 PM Greg Clayton <<a href="mailto:clayborg@gmail.com" target="_blank">clayborg@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I believe this is already fixed?<br>
<br>
<br>
<a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__reviews.llvm.org_D9937&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=MEqT8U_n7oNfuDW5NRbY3ZV384ZquXIYFPWmprwUdKM&m=t1D3qNgskB29L-A2Vf8Kolorlbxvn1DWWarWT_Raef4&s=CDJbqtKApPUSI_uH_UPR9J9pzCbJ-V9s_BCVYRZB1S0&e=" target="_blank">http://reviews.llvm.org/D9937</a><br>
<br>
EMAIL PREFERENCES<br>
  <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__reviews.llvm.org_settings_panel_emailpreferences_&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=MEqT8U_n7oNfuDW5NRbY3ZV384ZquXIYFPWmprwUdKM&m=t1D3qNgskB29L-A2Vf8Kolorlbxvn1DWWarWT_Raef4&s=1pKCRB1rwGv5q8GKycaQfB25OxOPl9e_s4L2AmYnXX4&e=" target="_blank">http://reviews.llvm.org/settings/panel/emailpreferences/</a><br>
<br>
<br>
</blockquote></div></div>