Merge branch 'gzip'
commitd241bcf7a31c01dab3ab06f2754ee70ba5f9808e
authorygrek <ygrek@autistici.org>
Sat, 6 Aug 2022 16:02:16 +0000 (6 17:02 +0100)
committerygrek <ygrek@autistici.org>
Sat, 6 Aug 2022 16:02:16 +0000 (6 17:02 +0100)
treebef3afe6ae0b931a079f5cfe999f12f858e732e2
parent0ee9f8d87f9b970e463b8bb13d11a778d27ad96d
parentf302c8cafae5c5922fad5de6932a893822c209bd
Merge branch 'gzip'

* gzip:
  sync camlzip gzip with upstream at f5aba998b6b76c5b73da78047fad166a645f1593
src/utils/cdk/gzip.ml
src/utils/cdk/gzip.mli