<div dir="auto">Ping?</div><br><div class="gmail_quote"><div dir="ltr">On Thu, Aug 23, 2018, 15:49 enh <<a href="mailto:enh@google.com">enh@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><br></div><div>---</div><div> toys/posix/file.c | 27 +++++++++++++++++++++++++++</div><div> 1 file changed, 27 insertions(+)</div><div><br></div></div>
</blockquote></div>