Skip to content

Rename servlet experimental options#17113

Merged
laurit merged 2 commits intoopen-telemetry:mainfrom
trask:servlet-rename
Mar 27, 2026
Merged

Rename servlet experimental options#17113
laurit merged 2 commits intoopen-telemetry:mainfrom
trask:servlet-rename

Conversation

@trask
Copy link
Copy Markdown
Member

@trask trask commented Mar 26, 2026

Aligning with convention layed out in #17069

@trask trask force-pushed the servlet-rename branch 3 times, most recently from 03f3140 to 477151b Compare March 26, 2026 23:48
@trask trask marked this pull request as ready for review March 27, 2026 00:31
@trask trask requested a review from a team as a code owner March 27, 2026 00:31
@laurit laurit merged commit 1757615 into open-telemetry:main Mar 27, 2026
93 checks passed
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.

2 participants