Skip to content

Conversation

github-actions[bot]
Copy link

What changes were proposed in this pull request?

Minor formating and changes to fit with the style guide.

Why are the changes needed?

For consistency.

Fix: # (issue)

Does this PR introduce any user-facing change?

N/A

How was this patch tested?

local build

### What changes were proposed in this pull request?

Minor formating and changes to fit with the style guide.

### Why are the changes needed?

For consistency.

Fix: # (issue)

### Does this PR introduce _any_ user-facing change?

N/A

### How was this patch tested?

local build
@github-actions github-actions bot added cherry-pick need backport Issues that need to backport to another branch labels Dec 13, 2023
@github-actions github-actions bot requested a review from jerryshao December 13, 2023 02:58
@jerryshao jerryshao closed this Dec 13, 2023
@jerryshao jerryshao reopened this Dec 13, 2023
@jerryshao jerryshao merged commit 02102fc into branch-0.3 Dec 13, 2023
@jerryshao jerryshao deleted the cherry-pick-branch-0.3-3970fd0fbb6a59466de31186fb434b63478c01bf branch December 13, 2023 03:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cherry-pick need backport Issues that need to backport to another branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants