RFR: 4890732: GZIPOutputStream doesn't support optional GZIP fields [v3]

Thu Apr 8 08:58:08 UTC 2021

On Thu, 8 Apr 2021 08:29:36 GMT, Lin Zang <lzang at openjdk.org> wrote:

> Dear All,
> May I ask your help to review this change? Thanks!

@LanceAndersen Do you have cycles to help Lin? This proposal will require discussion, they may be case for the header to be a record for example. My personal view is that the PR should be set aside until there is at least at least some agreement on the API.

-------------

PR: https://git.openjdk.java.net/jdk/pull/3072