diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2021-09-07 23:27:26 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2021-09-08 00:26:14 +0100 |
commit | 710c9b49fff4001521dbb61c5df12156ae62f837 (patch) | |
tree | e7befa80c8c803d88a82525daba387a99816a7f3 /infra/dgit-repos-server | |
parent | 29e179f435b70f9b55fd49b14e25bb143bccae8b (diff) |
dgit: work around deprecation of GZIP
This makes things slower. But it avoids this warning
gzip: warning: GZIP environment variable is deprecated; use an alias or script
IMO this deprecation was a bad idea, but the boat has sailed.
The new code here is less concurrent (which is bad) but the
alternatives are rather more code to set up.
Closes: #975624
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-server')
0 files changed, 0 insertions, 0 deletions