Skip to content

Conversation

@hakonhagland
Copy link
Contributor

See OPM/opm-simulators#6594 for more information

@hakonhagland hakonhagland added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Nov 6, 2025
@hakonhagland
Copy link
Contributor Author

jenkins build this please

@atgeirr atgeirr merged commit 21bcdc9 into OPM:master Nov 6, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

manual:irrelevant This PR is a minor fix and should not appear in the manual

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants