Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: change release file extensioin from .gzip to .gz (#266)
The gunzip utility doesn't like .gzip as a file extension and complains about extracting it. Changing the filename to .gz resolves this and enabled tab completion on most Linux (and probably other) systems.
- Loading branch information