[PATCH] after gzgets(), Z_STREAM_END means EOF, not error

[David Bremner]

Olivier Taïbi <oli at olitb.net> writes:

> As suggested by David Bremner in
> https://notmuchmail.org/pipermail/notmuch/2020/029288.html
> here is the patch for bug #3: after gzgets() returns NULL (meaning EOF
> or error), the error code Z_STREAM_END means EOF and not error.

pushed, with revised commit message.

d