Skip to content

Comments

Fixes before 0.5.0#135

Merged
LouisCarpentier42 merged 2 commits intomainfrom
minor-fixes-before-0.5.0
Oct 6, 2025
Merged

Fixes before 0.5.0#135
LouisCarpentier42 merged 2 commits intomainfrom
minor-fixes-before-0.5.0

Conversation

@LouisCarpentier42
Copy link
Collaborator

No description provided.

Signed-off-by: LouisCarpentier42 <louis.carpentier@kuleuven.be>
Signed-off-by: LouisCarpentier42 <louis.carpentier@kuleuven.be>
@LouisCarpentier42 LouisCarpentier42 merged commit 91c3a7f into main Oct 6, 2025
6 checks passed
@LouisCarpentier42 LouisCarpentier42 deleted the minor-fixes-before-0.5.0 branch October 6, 2025 11:00
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.

1 participant