<div dir="ltr">ping?</div><br><div class="gmail_quote"><div dir="ltr">On Tue, Jul 24, 2018 at 11:49 AM 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> tests/file.test   | 12 +++++++-----</div><div> toys/posix/file.c | 10 +++++++---</div><div> 2 files changed, 14 insertions(+), 8 deletions(-)</div><div><br></div></div>
</blockquote></div>