Add OutputGzipFile, in order to create a gzip compressed file#4128
Merged
fingolfin merged 1 commit intogap-system:masterfrom ChrisJefferson:raw-fileNov 20, 2020
+132-66
Commits
Commits on Nov 20, 2020
- committed
