Skip to content

Conversation

@KDr2
Copy link
Member

@KDr2 KDr2 commented Jun 19, 2020

No description provided.

@KDr2 KDr2 requested a review from yebai June 19, 2020 00:40
@yebai yebai merged commit 66104ba into master Jun 19, 2020
@delete-merged-branch delete-merged-branch bot deleted the ppc64le branch June 19, 2020 08:11
@yebai
Copy link
Member

yebai commented Jun 19, 2020

thanks, @KDr2!

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