Skip to content

Conversation

matteius
Copy link
Member

We need to be more careful to merge contributor PRs when it involves conversions of a code path, at least expected the code path has been executed by the dev making the change.

@matteius matteius merged commit 9ea139a into main Aug 31, 2024
1 of 2 checks passed
@matteius matteius deleted the correct-rich-usage-II branch August 31, 2024 21:41
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