Skip to content

v0.10.1-RC merge to main for patch release#1453

Merged
rhornung67 merged 81 commits intomainfrom
v0.10.1-RC
Oct 22, 2024
Merged

v0.10.1-RC merge to main for patch release#1453
rhornung67 merged 81 commits intomainfrom
v0.10.1-RC

Conversation

@rhornung67
Copy link
Member

@rhornung67 rhornung67 commented Oct 21, 2024

Summary

  • This PR is intended to be merged to main for v0.10.1 patch release.
  • It contains some bug fixes needed by users.

The companion PR, which shows only unreviewed changes that have not been approved and merged into develop, is
#1454. Please review that PR and approve this one for merging.

gunney1 and others added 30 commits February 6, 2024 16:33
Main mergeback to develop after v0.10.0 release
… all the ranks from [0, nranks) have printed the message
@rhornung67 rhornung67 merged commit 6626ee1 into main Oct 22, 2024
@rhornung67 rhornung67 deleted the v0.10.1-RC branch January 15, 2025 21:09
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.

9 participants