tree 6f3f5d160bda6bd0642b423199290163af6909d0
parent df7f5bef7613e8afde06166354c9c3817640524c
author Morten Krogh-Jespersen <mkroghj@google.com> 1596620431 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1596620431 +0200

Version 2.0.98

Cherry-pick: Close stream of input source when dumping
CL: https://r8-review.googlesource.com/52560

Bug: 160901582
Change-Id: If4a3bbe119eefeb50b7c71124edd8e1289ed830f