Skip to content

generalize CH from periodic#48

Merged
daubners merged 1 commit into
mainfrom
renameCH
Apr 27, 2026
Merged

generalize CH from periodic#48
daubners merged 1 commit into
mainfrom
renameCH

Conversation

@daubners

Copy link
Copy Markdown
Owner

No description provided.

@daubners daubners merged commit 78e06e3 into main Apr 27, 2026
2 checks passed
@daubners daubners deleted the renameCH branch April 30, 2026 10:01
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