tree 6ce80c954e0f969032585f22d45fedfd3193df75
parent 6cc67d81522d327eb33b765c138bd04e1003bf93
author Ivan Gavrilovic <gavra@google.com> 1504082379 +0100
committer Ivan Gavrilovic <gavra@google.com> 1504083641 +0100

Version 0.1.6

This merge fixes file descriptor
that was not closed. There are no
functional changes.

Merge "Close Files.list stream"
CL: https://r8-review.googlesource.com/c/r8/+/5442

Change-Id: I015dbeeb8d947cf24b31b9c8d3022f79b0344db3