<div dir="ltr">Friendly PING.<div><br></div><div>This patch also fixes an issue raised last month by another commenter:</div><div><a href="http://lists.llvm.org/pipermail/cfe-dev/2016-May/048799.html">http://lists.llvm.org/pipermail/cfe-dev/2016-May/048799.html</a></div><div><br></div><div>Regards,</div><div>Ben</div></div>