<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=koi8-r">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">>I assume in D42107 you will change it back to what this patch originally did then (always setting IRName)? </span></p>
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;"><br>
</span></p>
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">Yes, Iits my plan. I'll rebase <span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">D42107 </span>once this
one be landed.</span></p>
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;"><br>
</span></p>
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">>To me it is essentially NFC either way, I don't have an issue with the original version of this patch, but will let you and Rafael >decide. </span><span style="color: rgb(33, 33, 33); font-size: 12pt;">(LGTM
in any case, although one suggestion is to add a comment to the declaration of the isPrevailing bool field (i.e. >that IR contains the prevailing definition).</span></p>
<div style="color: rgb(33, 33, 33);">
<div>
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<div>>Teresa<br>
</div>
<div><br>
</div>
<div>Will do. Thanks !<br>
</div>
<div><br>
</div>
<div>Rafael, are you ok to land latest version (with comment for <span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">isPre</span><span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">vailing </span> suggested) ?<br>
</div>
<div><br>
</div>
<div>George.<br>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>