Skip to content

Move to Jakarta#377

Merged
radcortez merged 1 commit intomainfrom
jakarta
Feb 14, 2023
Merged

Move to Jakarta#377
radcortez merged 1 commit intomainfrom
jakarta

Conversation

@radcortez
Copy link
Member

No description provided.

@radcortez radcortez force-pushed the jakarta branch 3 times, most recently from 6e2a94f to e50002c Compare February 13, 2023 16:39
Copy link
Member

@Ladicek Ladicek left a comment

Choose a reason for hiding this comment

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

LGTM

@radcortez radcortez merged commit 4473712 into main Feb 14, 2023
@radcortez radcortez deleted the jakarta branch February 14, 2023 12:34
@radcortez radcortez added this to the 39 milestone Feb 14, 2023
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