Skip to content

Conversation

@th-skam
Copy link
Collaborator

@th-skam th-skam commented Sep 24, 2025

This was mentioned some time ago in PR #45. It's time to do it now.
Based on PR #99

@th-skam th-skam added pr: clean pr: status to review To notify reviewers to review this pull-request labels Sep 24, 2025
@epernod epernod added pr: status ready Approved a pull-request, ready to be squashed and removed pr: status to review To notify reviewers to review this pull-request labels Sep 26, 2025
@epernod epernod merged commit 1554d92 into master Sep 26, 2025
4 checks passed
@epernod epernod deleted the split-files branch September 26, 2025 10:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: clean pr: status ready Approved a pull-request, ready to be squashed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants