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

Revert pull request #197 #207

Closed
wants to merge 1 commit into from
Closed

Revert pull request #197 #207

wants to merge 1 commit into from

Conversation

byrond
Copy link
Contributor

@byrond byrond commented Jan 6, 2023

Revert #197, because #205 was intended to replace it.

…ndard"

This reverts commit 520f344, reversing
changes made to 0e54453.
@byrond byrond self-assigned this Jan 6, 2023
@byrond byrond requested a review from agentrickard January 6, 2023 14:44
@byrond
Copy link
Contributor Author

byrond commented Jan 6, 2023

#197 was in the history of #205, so this is not necessary.

@byrond byrond closed this Jan 6, 2023
@byrond byrond deleted the revert-197 branch January 6, 2023 14:53
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.

1 participant