Skip to content

Minor changes#153

Merged
RemDelaporteMathurin merged 9 commits intofestim2from
small-fixes
Feb 28, 2026
Merged

Minor changes#153
RemDelaporteMathurin merged 9 commits intofestim2from
small-fixes

Conversation

@RemDelaporteMathurin
Copy link
Collaborator

No description provided.

@RemDelaporteMathurin RemDelaporteMathurin mentioned this pull request Feb 27, 2026
@RemDelaporteMathurin RemDelaporteMathurin marked this pull request as ready for review February 28, 2026 18:57
@RemDelaporteMathurin RemDelaporteMathurin merged commit 9b249e9 into festim2 Feb 28, 2026
1 check passed
@RemDelaporteMathurin RemDelaporteMathurin deleted the small-fixes branch February 28, 2026 19:27
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