Thanks to visit codestin.com
Credit goes to github.com

Skip to content

DekuError: Derive Clone#255

Merged
sharksforarms merged 1 commit into
masterfrom
unknown repository
Jun 9, 2022
Merged

DekuError: Derive Clone#255
sharksforarms merged 1 commit into
masterfrom
unknown repository

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Apr 6, 2022

Would be nice to have, but not pushing for it (in case there are plans to propagate a Box<dyn Error> or something like that).

Copy link
Copy Markdown
Owner

@sharksforarms sharksforarms left a comment

Choose a reason for hiding this comment

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

Thanks!

@sharksforarms sharksforarms merged commit d7e7878 into sharksforarms:master Jun 9, 2022
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