Skip to content

Conversation

@jsquyres
Copy link
Member

Signed-off-by: George Bosilca [email protected]
(cherry picked from commit d1d9ad6)

Refs #11973

Thanks to @dalcinl for identifying the issue.

Signed-off-by: George Bosilca <[email protected]>
(cherry picked from commit d1d9ad6)
@jsquyres jsquyres requested a review from bosilca October 11, 2023 22:14
@jsquyres jsquyres changed the title Add support for MPI_ERR_VALUE_TOO_LARGE v5.0.x: Add support for MPI_ERR_VALUE_TOO_LARGE Oct 11, 2023
@github-actions github-actions bot added this to the v5.0.0 milestone Oct 11, 2023
@dalcinl
Copy link
Contributor

dalcinl commented Oct 12, 2023

Thanks!

@janjust janjust merged commit 316a85b into open-mpi:v5.0.x Oct 12, 2023
@jsquyres jsquyres deleted the pr/v5.0.x/add_missing_MPI_ERR_VALUE_TOO_LARGE branch November 27, 2023 21:24
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.

5 participants