<div style="font-family: arial, helvetica, sans-serif; font-size: 10pt"><div dir="ltr"><div style>Please review the following patch:</div><a href="https://codereview.appspot.com/6931050/diff/1/ThreadSanitizer.html">https://codereview.appspot.com/6931050/diff/1/ThreadSanitizer.html</a><br>
<div><br></div><div><br></div></div></div>