Skip to content

Conversation

mnorbury
Copy link
Collaborator

No description provided.

@erezrokah erezrokah added the automerge Add to automerge PRs once requirements are met label Aug 29, 2023
@erezrokah erezrokah merged commit d35f9be into main Aug 29, 2023
@erezrokah erezrokah deleted the fix/convert-boolean-to-bit-vector branch August 29, 2023 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge Add to automerge PRs once requirements are met
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants