Closed bmourad01 closed 3 months ago
As noted by @xavierleroy in #1609, we can ensure compatibility with earlier versions of camlzip in light of the recent changes w.r.t. the extra field being removed in 1.12.
extra
As noted by @xavierleroy in #1609, we can ensure compatibility with earlier versions of camlzip in light of the recent changes w.r.t. the
extra
field being removed in 1.12.