Skip to content

Conversation

@wenduwan
Copy link
Contributor

Related to #12091

We want to discuss the possibility of use object destructors and possibly avoid unnecessary destroy* APIs

@wenduwan
Copy link
Contributor Author

@hppritcha shall we merge? AWS is actually testing the main branch. We are currently broken since we didn't implement the function pointers - this PR will fix that.

@edgargabriel edgargabriel merged commit 1fdd32d into open-mpi:main Nov 17, 2023
@edgargabriel
Copy link
Member

we need to get you write permissions :-)

@wenduwan
Copy link
Contributor Author

I got that on 5.0 branch yesterday - there are enough people for main. I feel comfortable bugging you folks 😄

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants