This repository has been archived by the owner on Feb 18, 2024. It is now read-only.
FileSink now closes the underlying writer.#1213
Merged
jorgecarleitao merged 1 commit intojorgecarleitao:mainfrom samkaufman:mainAug 5, 2022
+2-1
