On Wed, Mar 30, 2022 at 7:01 AM Andrew Dunstan <andrew@dunslane.net> wrote:
> Triple bleah. If we have to do that at least we should probably use
> `gzip --fast`
I'm not sure it's going to make enough difference to get fussed about,
but sure. Here's a new series, adjusted to use 'gzip' instead of 'cat'
and 'type'.
--
Robert Haas
EDB: http://www.enterprisedb.com