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.

Sign up for GitHub

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

Jump to bottom

Fix status of CEP-001, add link to PR #2298

Merged
merged 2 commits into from
Mar 30, 2023
Merged

Fix status of CEP-001, add link to PR #2298

merged 2 commits into from
Mar 30, 2023

Conversation

maxnoe
Copy link
Member

@maxnoe maxnoe commented Mar 30, 2023

No description provided.

@maxnoe maxnoe requested review from Tobychev and kosack March 30, 2023 10:34
Tobychev
Tobychev previously approved these changes Mar 30, 2023
View reviewed changes
@maxnoe
Copy link
Member Author

maxnoe commented Mar 30, 2023

Sorry, had a typo in the reference for the PR, please review again @Tobychev

@maxnoe maxnoe requested review from Tobychev and LukasNickel March 30, 2023 11:20
Tobychev
Tobychev previously approved these changes Mar 30, 2023
View reviewed changes
@maxnoe maxnoe requested review from LukasNickel and Tobychev March 30, 2023 11:34
@kosack kosack merged commit 0bf1d96 into main Mar 30, 2023
@kosack kosack deleted the fix_cep_status branch March 30, 2023 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@LukasNickel LukasNickel LukasNickel approved these changes

@kosack kosack kosack approved these changes

@Tobychev Tobychev Awaiting requested review from Tobychev

Assignees
No one assigned
Labels
documentation no-changelog-needed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@maxnoe @Tobychev @kosack @LukasNickel