Skip to content

#30 Minor edits such as dates preparing for release#35

Merged
bencox merged 1 commit intomainfrom
update-copyright-2025
Dec 17, 2025
Merged

#30 Minor edits such as dates preparing for release#35
bencox merged 1 commit intomainfrom
update-copyright-2025

Conversation

@bencox
Copy link
Member

@bencox bencox commented Dec 17, 2025

Lots of small changes to copyright dates, principally, in preparation for a release.

@bencox bencox merged commit 0f1a70f into main Dec 17, 2025
2 checks passed
@bencox bencox deleted the update-copyright-2025 branch December 17, 2025 12:38
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

Comments