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

Add an error type #7

Merged
merged 2 commits into from Jun 11, 2022
Merged

Add an error type #7

merged 2 commits into from Jun 11, 2022

Conversation

lnicola
Copy link
Contributor

@lnicola lnicola commented Apr 22, 2022

This doesn't do much for now, but it paves the way towards avoiding a lot of the unwraps that are now present in the code.

And by the way, hello again!

@lnicola
Copy link
Contributor Author

lnicola commented Jun 9, 2022

@Phate6660 gentle ping.

@Phate6660
Copy link
Owner

Sorry, I've been really busy with work and life.
I can't get to this today, but I should be able to tomorrow.

@lnicola
Copy link
Contributor Author

lnicola commented Jun 9, 2022

No worries, just making sure you didn't miss it :-).

@Phate6660 Phate6660 merged commit 3361cde into Phate6660:master Jun 11, 2022
@Phate6660
Copy link
Owner

Merged. I get out of work in... 7 and a half hours.
When I get out, I'll be looking into this a bit more.

@lnicola lnicola deleted the error-type branch June 12, 2022 06:08
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.

None yet

2 participants