Subject: close gzip bugs that don't need to be open any more

From: Paul Eggert <[email-masked]>
Date: Fri, 13 Mar 2015 18:19:51 -0700

tags 19488 notabug
close 19488
tags 20103 notabug
close 20103
tags 19360 patch
severity 19360 wishlist