Skip to content

Conversation

gardner48
Copy link
Member

Remove file accidentally added when updating copyrights

@gardner48 gardner48 added this to the SUNDIALS Next milestone Oct 17, 2025
@gardner48 gardner48 merged commit 3f16d92 into develop Oct 19, 2025
49 checks passed
@gardner48 gardner48 deleted the maintenance/remove-wip-file branch October 19, 2025 00:37
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.

2 participants