Skip to content

Conversation

@wangyum
Copy link

@wangyum wangyum commented Mar 15, 2022

What changes were proposed in this pull request?

Why are the changes needed?

Does this PR introduce any user-facing change?

How was this patch tested?

@github-actions github-actions bot added the SQL label Mar 15, 2022
@wangyum
Copy link
Author

wangyum commented Mar 15, 2022

@somani Could you merge my PR to your branch?

@somani somani merged commit a8bb273 into somani:rf Mar 15, 2022
@somani
Copy link
Owner

somani commented Mar 15, 2022

@wangyum Done, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants