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

[Lin Zang]

On Thu, 8 Apr 2021 08:54:06 GMT, Alan Bateman <alanb at openjdk.org> wrote:

>> Dear All,
>> May I ask your help to review this change? Thanks!
>> 
>> BRs,
>> Lin
>
>> 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.

Dear @AlanBateman @LanceAndersen,
    May I ask your help to review whether the usage of Record and Builder pattern is reasonable in the PR? Thanks

BRs,
Lin

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

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