Skip to content

Conversation

@SimonHeybrock
Copy link
Member

Fix #3657.

@github-project-automation github-project-automation bot moved this to In progress in Development Board Mar 17, 2025
@SimonHeybrock SimonHeybrock moved this from In progress to Selected in Development Board Mar 17, 2025
@SimonHeybrock SimonHeybrock enabled auto-merge March 17, 2025 08:28
@SimonHeybrock SimonHeybrock merged commit ed21b5e into main Mar 17, 2025
4 checks passed
@SimonHeybrock SimonHeybrock deleted the bins-validate-indices-option branch March 17, 2025 08:32
@github-project-automation github-project-automation bot moved this from Selected to Done in Development Board Mar 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Make _bins_no_validate public

3 participants