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 Dec 18, 2024
@OskarStark OskarStark added the enhancement New feature or request label Dec 18, 2024
@OskarStark OskarStark merged commit 75e1263 into main Dec 19, 2024
7 checks passed
@chr-hertel chr-hertel deleted the feature/use-dedicated-exception branch December 19, 2024 07: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