tree 028b72b14cdd78d528c459a6f4d15a735c9c10e2
parent 568349a095d72dee33667a82e3a24114019a33ae
parent 54bbef089d469dba7032c9cefa703647a0e917f1
author Dave Platt <dplatt@google.com> 1395799868 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1395799868 +0000

Merge "Close FILE* handles after consuming contents"