Skip to content
This repository has been archived by the owner on Jan 30, 2024. It is now read-only.

Clean up enum Outcome #333

Merged
merged 2 commits into from
Jul 27, 2022
Merged

Clean up enum Outcome #333

merged 2 commits into from
Jul 27, 2022

Conversation

Urhengulas
Copy link
Member

A small drive-by PR to clean up enum Outcome in the backtrace module.

BriocheBerlin
BriocheBerlin approved these changes Jul 27, 2022
View reviewed changes
Copy link
Contributor

@BriocheBerlin BriocheBerlin left a comment

Choose a reason for hiding this comment

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

👍

@Urhengulas
Copy link
Member Author

bors r=BriocheBerlin

@bors
Copy link
Contributor

bors bot commented Jul 27, 2022

Build succeeded:

@bors bors bot merged commit e2b8243 into main Jul 27, 2022
@bors bors bot deleted the refactor-enum-outcome branch July 27, 2022 11:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@BriocheBerlin BriocheBerlin BriocheBerlin 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
@Urhengulas @BriocheBerlin