Skip to content

Conversation

@janjust
Copy link
Contributor

@janjust janjust commented Dec 11, 2023

bot:notacherrypick

@janjust janjust requested a review from wenduwan December 11, 2023 22:07
@github-actions github-actions bot added this to the v5.0.1 milestone Dec 11, 2023
@janjust janjust changed the title V5.0.x: v5.0.1 news update V5.0.x: news update, version update Dec 11, 2023
Comment on lines 18 to 20
- docs: update to match PRRTE v3.0.3 docs
update static application build docs
Many many other documentation related updates and changes
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looking at this again, I think we only need 1 sentence, e.g. Various documentation updates. Otherwise looking good!

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done - fixed, forced pushed

Bump v5.0.1 version

Signed-off-by: Tomislav Janjusic <[email protected]>
@janjust
Copy link
Contributor Author

janjust commented Dec 11, 2023

Did a force push to just merge commits into one

@janjust janjust merged commit 5f3764b into open-mpi:v5.0.x Dec 12, 2023
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.

2 participants