tree 18b3fc1af4cf05638d400cd765e3c892800fa544
parent 6aaedb0dcacfb0e43e89fa833004ec6203bacf1c
parent e6d7663889aa8308e244da821f579b6a314e8a33
author Treehugger Robot <treehugger-gerrit@google.com> 1544141445 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1544141445 +0000

Merge "Clean up use of pipe"