On Fri, 30 Aug 2024 11:18:41 GMT, Lance Andersen <lan...@openjdk.org> wrote:
> The gnu.org docs cover this(concatenating gzip files) as part of its > [advanced usage of > gzip](https://github.com/openjdk/jdk/pull/20787#issuecomment-2320873616), so > I don'r think we need to do any more archeology Okay, but just very surprising that support was added in JDK 7 without changes to the API docs or other documentation (from a quick search). If we are retrofitting the APIs docs then I think treat "GZIP" as a file format. It may require adding overrides so there is a place to document the behavior when reading an entry roll over into the next stream. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20787#issuecomment-2320965700
