Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix typo in error name #170

Merged
merged 1 commit into from
Mar 15, 2023
Merged

fix typo in error name #170

merged 1 commit into from
Mar 15, 2023

Conversation

mdeltour
Copy link
Contributor

Hi,

I came across a typo while looking at how merge was implemented.

@sourcelevel-bot
Copy link

Hello, @mdeltour! This is your first Pull Request that will be reviewed by SourceLevel, an automatic Code Review service. It will leave comments on this diff with potential issues and style violations found in the code as you push new commits. You can also see all the issues found on this Pull Request on its review page. Please check our documentation for more information.

@darccio darccio merged commit 90db0ad into darccio:master Mar 15, 2023
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.

2 participants