update to policy 4.1.3
[debian/gzip] / gunzip.1
1 .so man1/gzip.1