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

[Lin Zang]

On Mon, 6 Sep 2021 07:20:11 GMT, Lin Zang <lzang at openjdk.org> wrote:

>> 4890732: GZIPOutputStream doesn't support optional GZIP fields
>
> Lin Zang has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 17 commits:
> 
>  - Merge branch 'master' into gzip-field
>  - delete trailing spaces
>  - refine code
>  - Merge branch 'master' into gzip-field
>  - change since version to 18
>  - Merge branch 'master' into gzip-field
>  - Merge branch 'master' into gzip-field
>  - Add api in GZIPInputStream to get header data
>  - Merge remote-tracking branch 'upstream/master' into gzip-field
>  - remove trailing spaces
>  - ... and 7 more: https://git.openjdk.java.net/jdk/compare/c640fe42...196caedb

Dear All， 
This PR has been pending there for quite a long time. I am wondering maybe this PR is not so interesting?  
I would like to leave this PR open for a while more, and if no new update, I would let it close automatically by timeout. 
Thanks!

Lin

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

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