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

rust: remove code duplication in ExecutionResult #237

Merged
merged 1 commit into from
Apr 24, 2019
Merged

rust: remove code duplication in ExecutionResult #237

merged 1 commit into from
Apr 24, 2019

Conversation

axic
Copy link
Member

@axic axic commented Apr 24, 2019

Part of #168.

@axic axic requested a review from jakelang April 24, 2019 00:27
@axic axic force-pushed the rust-cleanup branch 2 times, most recently from dd97db5 to d57281d Compare April 24, 2019 11:24
@axic
Copy link
Member Author

axic commented Apr 24, 2019

@jakelang review?

jakelang
jakelang approved these changes Apr 24, 2019
View reviewed changes
Copy link
Contributor

@jakelang jakelang left a comment

Choose a reason for hiding this comment

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

Looks good.

@axic axic merged commit 4571159 into master Apr 24, 2019
@axic axic deleted the rust-cleanup branch April 24, 2019 17:55
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@jakelang jakelang jakelang 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
@axic @jakelang