Skip to content

Introduce a more convenient exception for unexpected calls#177

Merged
theofidry merged 1 commit intowebmozarts:mainfrom
theofidry:feature/unexpected-call
Oct 30, 2022
Merged

Introduce a more convenient exception for unexpected calls#177
theofidry merged 1 commit intowebmozarts:mainfrom
theofidry:feature/unexpected-call

Conversation

@theofidry
Copy link
Collaborator

No description provided.

@theofidry theofidry enabled auto-merge (squash) October 30, 2022 11:32
@theofidry theofidry merged commit 0b63e1d into webmozarts:main Oct 30, 2022
@theofidry theofidry deleted the feature/unexpected-call branch October 30, 2022 11:34
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