Skip to content

Notify elharo on language changes#20302

Merged
rschlussel merged 1 commit intomasterfrom
elharo-patch-1
Jul 13, 2023
Merged

Notify elharo on language changes#20302
rschlussel merged 1 commit intomasterfrom
elharo-patch-1

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Jul 13, 2023

@elharo elharo requested a review from a team as a code owner July 13, 2023 16:59
@elharo elharo requested a review from presto-oss July 13, 2023 16:59
@rschlussel rschlussel merged commit 8e66c15 into master Jul 13, 2023
@wanglinsong wanglinsong mentioned this pull request Jul 27, 2023
28 tasks
@ethanyzhang ethanyzhang deleted the elharo-patch-1 branch November 1, 2024 07:33
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.

3 participants