Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Undo Error for ErrorKind #236

Merged
merged 1 commit into from
Jan 5, 2022
Merged

Undo Error for ErrorKind #236

merged 1 commit into from
Jan 5, 2022

Conversation

madig
Copy link
Collaborator

@madig madig commented Jan 5, 2022

As it is not a free-standing error type.

@github-actions
Copy link

github-actions bot commented Jan 5, 2022

🗜 Bloat check ⚖️

Comparing d3f1428 against 00b6f5b

target old size new size difference
target/release/examples/load_save 1.88 MB 1.88 MB ---
target/debug/examples/load_save 8.55 MB 8.55 MB 200 Bytes (0.00%)

cmyr
cmyr approved these changes Jan 5, 2022
View reviewed changes
Copy link
Member

@cmyr cmyr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

Base automatically changed from cut-down-builder to master January 5, 2022 18:38
@madig madig merged commit e60f406 into master Jan 5, 2022
@madig madig deleted the undo-error-for-errorkind branch January 5, 2022 18:39
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@cmyr cmyr cmyr approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@madig @cmyr