Skip to content

Conversation

@tisonkun
Copy link
Member

cc @Xuanwo

@github-actions github-actions bot requested a review from morristai January 19, 2024 00:56
@github-actions github-actions bot added the releases-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell label Jan 19, 2024
Copy link
Member

@PsiACE PsiACE left a comment

Choose a reason for hiding this comment

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

Xuanwo mentioned that github ui has some benefits. But perhaps checking manually might also ok.

#4001 (comment)

Copy link
Member

@Xuanwo Xuanwo left a comment

Choose a reason for hiding this comment

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

Thanks!

@Xuanwo Xuanwo merged commit a298d3b into apache:main Jan 19, 2024
@tisonkun tisonkun deleted the drop-parsing branch March 23, 2025 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

releases-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants