Skip to content

Conversation

@JoeKar
Copy link
Collaborator

@JoeKar JoeKar commented Aug 28, 2024

This issue came up with #3445 and was fixed/workarounded with benweissmann/getmic.ro#37 resp. benweissmann/getmic.ro@8406395.
We came to the conclusion, that we should stick to the full qualified file extension tar.gz.

@benweissmann:
Shall I provide the additional PR to revert the change from tar.gz to tgz?
PR created: benweissmann/getmic.ro#39

@JoeKar JoeKar added this to the v2.0.15 milestone Aug 28, 2024
@JoeKar JoeKar requested a review from dmaluka August 28, 2024 21:26
@JoeKar JoeKar merged commit 968f5ba into zyedidia:master Aug 28, 2024
@JoeKar JoeKar deleted the fix/tgz2tar.gz branch August 28, 2024 21:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants