Skip to content

Conversation

@rwgk
Copy link
Collaborator

@rwgk rwgk commented Oct 20, 2023

Description

We need a volunteer to work on this: #4889

Suggested changelog entry:

@rwgk rwgk marked this pull request as ready for review October 20, 2023 06:12
@rwgk rwgk requested a review from henryiii as a code owner October 20, 2023 06:12
@rwgk rwgk merged commit 7969049 into pybind:master Oct 20, 2023
@rwgk rwgk deleted the disable_valgrind branch October 20, 2023 06:12
@github-actions github-actions bot added the needs changelog Possibly needs a changelog entry label Oct 20, 2023
@rwgk rwgk removed the needs changelog Possibly needs a changelog entry label Oct 20, 2023
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