New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Please cherry-pick #8607 to v5.0.x #8730

Closed

gpaulsen opened this issue Mar 29, 2021 · 0 comments · Fixed by #8737

Assignees

Labels

Milestone

Member

gpaulsen commented Mar 29, 2021 •

edited

Loading

Please cherry-pick PR #8607 to v5.0.x

gpaulsen added this to the v5.0.0 milestone

awlauria assigned ggouaillardet

gpaulsen added the Target: v5.0.x label

awlauria changed the title ~~Please cherry-pick PR #8607 to v5.0.x~~ Please cherry-pick #8607 to v5.0.x

awlauria mentioned this issue

configury: fix --disable-io-romio option #8737

Merged

awlauria linked a pull request

that will close this issue

configury: fix --disable-io-romio option #8737

Merged

awlauria closed this as completed

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