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

Remove the pinned event example from the documentation #36629

Merged
merged 1 commit into from
Oct 23, 2023

Conversation

cescoffier
Copy link
Member

@cescoffier cescoffier commented Oct 23, 2023

See #36569.

@github-actions
Copy link

github-actions bot commented Oct 23, 2023

🙈 The PR is closed and the preview is expired.

@ozangunalp ozangunalp merged commit b5ab981 into quarkusio:main Oct 23, 2023
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.6 - main milestone Oct 23, 2023
@cescoffier cescoffier deleted the remove-pinned-event-from-doc branch October 25, 2023 06:59
@gsmet gsmet modified the milestones: 3.6 - main, 3.5.1 Oct 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Development

Successfully merging this pull request may close these issues.

3 participants