Skip to content

Minor tweaks from #102#213

Merged
pSpitzner merged 2 commits intomainfrom
minor_tweaks
Oct 13, 2025
Merged

Minor tweaks from #102#213
pSpitzner merged 2 commits intomainfrom
minor_tweaks

Conversation

@semohr
Copy link
Collaborator

@semohr semohr commented Oct 10, 2025

Cherry picked some changes from the #102 PR which are not directly related to the file upload.

@pSpitzner pSpitzner merged commit 73e3562 into main Oct 13, 2025
2 checks passed
@pSpitzner pSpitzner deleted the minor_tweaks branch October 13, 2025 19:55
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