Skip to content

Conversation

@MridulS
Copy link
Member

@MridulS MridulS commented Jul 4, 2024

Had a look at #3488, not sure if this will be helpful but let's bump this up.

@SimonHeybrock SimonHeybrock enabled auto-merge July 4, 2024 11:58
@SimonHeybrock SimonHeybrock merged commit 3825353 into main Jul 4, 2024
@SimonHeybrock SimonHeybrock deleted the bump_pybind_2.13.1 branch July 4, 2024 12:10
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.

3 participants