<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>Yep, it was D36740 (<span style="color: rgb(116, 119, 125); font-family: "Segoe UI", "Segoe UI Emoji", "Segoe UI Symbol", Lato, "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 13px; background-color: rgb(243, 245, 247);"> </span><a href="https://reviews.llvm.org/rL310915" class="phui-handle" style="text-decoration-line: none; color: rgb(75, 77, 81); cursor: pointer; font-weight: bold; font-family: "Segoe UI", "Segoe UI Emoji", "Segoe UI Symbol", Lato, "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 13px; background-color: rgb(243, 245, 247);">r310915</a>​).<br>
</p>
<p><br>
</p>
<p>So I commited the first diff of patch (I believe that is what you last comment in</p>
<p>its thread requested).​<br>
</p>
<p><br>
</p>
<p>George.<br>
</p>
</body>
</html>