Skip to content
This repository was archived by the owner on Jul 16, 2025. It is now read-only.

Conversation

@OskarStark
Copy link
Contributor

No description provided.

@OskarStark OskarStark self-assigned this Jan 6, 2025
@OskarStark OskarStark added the enhancement New feature or request label Jan 6, 2025
@OskarStark OskarStark requested a review from chr-hertel January 6, 2025 12:56
@chr-hertel chr-hertel merged commit 7779a13 into main Jan 6, 2025
7 checks passed
@chr-hertel chr-hertel deleted the feature/named-args branch January 6, 2025 17:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants