Skip to content

luanti: fix downloaded file extracting to different name#5127

Merged
stavros-k merged 4 commits into
masterfrom
fix-luanti
Jun 9, 2026
Merged

luanti: fix downloaded file extracting to different name#5127
stavros-k merged 4 commits into
masterfrom
fix-luanti

Conversation

@stavros-k

Copy link
Copy Markdown
Contributor

No description provided.

t0b3 and others added 3 commits June 7, 2026 21:23
…ontains `voxelibre`

Add .keep file creation after unzipping if successful, to avoid re-downloading and failure on re-unzip due to pre-existing files
@stavros-k stavros-k requested a review from Qubad786 June 8, 2026 14:58
@stavros-k stavros-k marked this pull request as ready for review June 8, 2026 14:58
@stavros-k stavros-k merged commit 76caeae into master Jun 9, 2026
8 checks passed
@stavros-k stavros-k deleted the fix-luanti branch June 9, 2026 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants