Skip to content

Conversation

@ohmayr
Copy link
Contributor

@ohmayr ohmayr commented Sep 19, 2025

@ohmayr ohmayr marked this pull request as ready for review September 19, 2025 18:39
@ohmayr ohmayr requested review from a team as code owners September 19, 2025 18:39
@ohmayr ohmayr requested a review from chingor13 September 19, 2025 18:39
parthea
parthea previously approved these changes Sep 19, 2025
@ohmayr ohmayr merged commit 1918a52 into main Sep 19, 2025
24 checks passed
@ohmayr ohmayr deleted the add-args-for-configure branch September 19, 2025 19:20
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