Skip to content

Comments

Configadjust#187

Merged
RemDelaporteMathurin merged 2 commits intomainfrom
configadjust
Oct 24, 2025
Merged

Configadjust#187
RemDelaporteMathurin merged 2 commits intomainfrom
configadjust

Conversation

@SakkiWakki
Copy link
Contributor

Fixes for build errors

@SakkiWakki SakkiWakki requested a review from jhdark October 23, 2025 04:03
@SakkiWakki SakkiWakki self-assigned this Oct 23, 2025
@SakkiWakki SakkiWakki mentioned this pull request Oct 23, 2025
@RemDelaporteMathurin RemDelaporteMathurin marked this pull request as ready for review October 24, 2025 15:31
@RemDelaporteMathurin RemDelaporteMathurin merged commit 52169fa into main Oct 24, 2025
3 checks passed
@RemDelaporteMathurin RemDelaporteMathurin deleted the configadjust branch October 24, 2025 15:31
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