Skip to content

Conversation

daavid00
Copy link
Member

@daavid00 daavid00 commented Oct 2, 2025

Continuing the maintenance work started in OPM/opm-common#4769

Using the tool in #6483 to remove trailing spaces and adding eol at eof.

@daavid00 daavid00 added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Oct 2, 2025
@daavid00
Copy link
Member Author

daavid00 commented Oct 2, 2025

jenkins build this please

@daavid00
Copy link
Member Author

daavid00 commented Oct 2, 2025

PR approved and green jenkins. Merging this.

@daavid00 daavid00 merged commit 00d6bf2 into OPM:master Oct 2, 2025
3 checks passed
@daavid00 daavid00 deleted the whitespaces branch October 7, 2025 16:35
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