Skip to content

Conversation

@haashem
Copy link
Contributor

@haashem haashem commented Oct 3, 2024

Related to #218

The previous PR accidentally closed because of branch reset.

Copy link
Collaborator

@fotiDim fotiDim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just one small indentation fix needed

@haashem haashem marked this pull request as draft October 3, 2024 21:30
@haashem haashem marked this pull request as ready for review October 3, 2024 21:33
@fotiDim fotiDim merged commit 20d6f85 into brim-borium:main Oct 3, 2024
2 checks passed
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