Skip to content

Conversation

@gregw
Copy link
Contributor

@gregw gregw commented Nov 10, 2025

Remove the differences in how bad URI are handled.

Remove the differences in how bad URI are handled.
@gregw gregw requested a review from joakime November 10, 2025 21:17
Remove the differences in how bad URI are handled.
Remove the differences in how bad URI are handled.
@gregw gregw requested review from janbartel and lorban November 16, 2025 21:25
joakime
joakime previously approved these changes Nov 17, 2025
Copy link
Contributor

@joakime joakime left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If the questions from PR #14011 are answered, merge this one too.

Remove the differences in how bad URI are handled.
@gregw gregw merged commit 553b59e into jetty-12.0.x Nov 19, 2025
9 checks passed
@github-project-automation github-project-automation bot moved this to ✅ Done in Jetty 12.0.31 Nov 19, 2025
@gregw gregw deleted the enhancement/jetty-12.0.x/regularizeBadUris branch November 19, 2025 00:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

4 participants