Skip to content

Conversation

@akrherz
Copy link
Collaborator

@akrherz akrherz commented Apr 14, 2025

...someday, I need to fix CI, but alas...

@akrherz akrherz merged commit c5e8a52 into Unidata:main Apr 14, 2025
2 of 4 checks passed
@akrherz akrherz deleted the r7_19_0_1 branch April 14, 2025 18:45
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.

1 participant