bug#43350: Regarding MariaDB Database

[Paul Eggert]

On 9/12/20 17:36, Paul Eggert wrote:

What makes you think this is a gzip bug?

No further comment, so closing this old bug report.