Skip to content

Improved type safety and documentation of filter functions - #1

Merged
sfilges merged 2 commits into
masterfrom
devel
Mar 30, 2026
Merged

Improved type safety and documentation of filter functions#1
sfilges merged 2 commits into
masterfrom
devel

Conversation

@sfilges

@sfilges sfilges commented Mar 30, 2026

Copy link
Copy Markdown
Owner

No description provided.

@sfilges
sfilges merged commit 4247f74 into master Mar 30, 2026
4 checks passed
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