Skip to content

Conversation

@agarny
Copy link
Contributor

@agarny agarny commented Oct 30, 2025

Fixes #523.

@agarny agarny force-pushed the issue523 branch 2 times, most recently from 4208576 to b908d35 Compare October 30, 2025 07:06
@agarny agarny merged commit 0a29d8c into opencor:main Oct 30, 2025
24 checks passed
@agarny agarny deleted the issue523 branch October 30, 2025 09:44
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.

Improve warning/error messages

1 participant