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

[Lin Zang]

On Mon, 26 Jul 2021 03:28:44 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 13 commits:
> 
>  - 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
>  - Use record and Builder pattern
>  - add class GZIPHeaderData, refine testcases
>  - update copyright
>  - reuse arguments constructor for non-argument one.
>  - ... and 3 more: https://git.openjdk.java.net/jdk/compare/e627caec...b1868e8f

Dear All, 
   I have updated the CSR with the latest change. https://bugs.openjdk.java.net/browse/JDK-8263793 , may I ask your help to review and give comments?  
Thanks!

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

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