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 jakarta websocket link #25279

Merged
merged 1 commit into from
May 2, 2022

Conversation

newur
Copy link
Contributor

@newur newur commented Apr 30, 2022

The current link to the jakarta websocket github page is broken and returns a 404. I made a guess what could be the new one.

@quarkus-bot
Copy link

quarkus-bot bot commented Apr 30, 2022

Thanks for your pull request!

The title of your pull request does not follow our editorial rules. Could you have a look?

  • title should preferably start with an uppercase character (if it makes sense!)

This message is automatically generated by a bot.

@newur newur changed the title update jakarta websocket link; add version Update jakarta websocket link; add version Apr 30, 2022
@newur newur force-pushed the update-jakarta-websocket-link branch from cdb4c5d to e91a25f Compare May 2, 2022 12:39
@newur newur requested a review from gsmet May 2, 2022 12:40
@gastaldi
Copy link
Contributor

gastaldi commented May 2, 2022

Nice catch! Thank you!

@gastaldi gastaldi merged commit 1f900a8 into quarkusio:main May 2, 2022
@quarkus-bot quarkus-bot bot added this to the 2.10 - main milestone May 2, 2022
@gsmet gsmet changed the title Update jakarta websocket link; add version Update jakarta websocket link May 3, 2022
@gsmet gsmet modified the milestones: 2.10 - main, 2.9.0.Final May 3, 2022
@gsmet gsmet modified the milestones: 2.9.0.Final, 2.8.3.Final May 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants