<div dir="ltr"><div class="gmail-gs" style="margin:0px;padding:0px 0px 20px;width:1277px;font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div class="gmail-"><div id="gmail-:1jn" class="gmail-ii gmail-gt" style="font-size:0.875rem;direction:ltr;margin:8px 0px 0px;padding:0px"><div id="gmail-:1jm" class="gmail-a3s gmail-aXjCH" style="overflow:hidden;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,Helvetica,sans-serif"><div dir="ltr"><div>Hello,</div><div><br></div>Please consider to include these fixes.<div>It will help users like us, who use a lot of sanitizers, to be close to the upstream.</div><div><br></div><div>Vitaly</div></div><div class="gmail-yj6qo"></div><div class="gmail-adL"></div></div></div><div class="gmail-hq gmail-gt gmail-a10" id="gmail-:1h4" style="margin:15px 0px;clear:both;font-size:0.875rem"><div class="gmail-hp" style="width:1277px;border-top:1px dotted rgb(216,216,216)"></div><div class="gmail-a3I" style="width:1px;height:1px;overflow:hidden">Attachments area</div><div id="gmail-:1h7"></div><div class="gmail-aQH" id="gmail-:1h6" style="padding-top:16px"><div class="gmail-aZK" style="height:0px;overflow:hidden;clear:both"></div></div></div><div class="gmail-hi" style="border-bottom-left-radius:1px;border-bottom-right-radius:1px;padding:0px;width:auto;background:rgb(242,242,242);margin:0px"></div></div></div><br class="gmail-Apple-interchange-newline"></div>