Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@totto82
Copy link
Member

@totto82 totto82 commented Aug 11, 2025

No description provided.

@totto82
Copy link
Member Author

totto82 commented Aug 13, 2025

jenkins build this please

1 similar comment
@totto82
Copy link
Member Author

totto82 commented Aug 13, 2025

jenkins build this please

@totto82 totto82 added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Aug 13, 2025
@totto82 totto82 requested a review from blattms August 13, 2025 09:27
@totto82
Copy link
Member Author

totto82 commented Aug 14, 2025

jenkins build this please

1 similar comment
@bska
Copy link
Member

bska commented Aug 14, 2025

jenkins build this please

@blattms
Copy link
Member

blattms commented Aug 15, 2025

Please also update the man page docs/man1/hysteresis.1 accordingly.

@totto82
Copy link
Member Author

totto82 commented Aug 29, 2025

Please also update the man page docs/man1/hysteresis.1 accordingly.

Done

@totto82
Copy link
Member Author

totto82 commented Aug 29, 2025

jenkins build this please

Copy link
Member

@bska bska left a comment

Choose a reason for hiding this comment

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

Thanks. I'll merge into master.

@bska bska merged commit 265991b into OPM:master Aug 29, 2025
1 check 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.

3 participants