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

Update tags for HandleConsumerAdditionProposal and HandleConsumerRemovalProposal #539

Merged
merged 1 commit into from
Dec 1, 2022

Conversation

mpoke
Copy link
Contributor

@mpoke mpoke commented Dec 1, 2022

Description

Update tags to keep consistent with the spec.

Linked issues

Closes: #390

Type of change

Please delete options that are not relevant.

  • Non-breaking changes
  • Documentation updates

@sainoe sainoe merged commit 147a987 into main Dec 1, 2022
@sainoe sainoe deleted the marius/390-tags branch December 1, 2022 14:58
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.

Outdated tags for HandleConsumerAdditionProposal and HandleConsumerRemovalProposal
3 participants