New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add owner for core #10039

Merged

lmazuel merged 1 commit into master from core_add_owner

Mar 10, 2020

Member

xiangyan99 commented Feb 27, 2020

No description provided.


          add owner for core

8036d3a

xiangyan99 requested a review from lmazuel

February 27, 2020 19:51

adxsdk6 commented Feb 27, 2020

Can one of the admins verify this patch?

lmazuel approved these changes

View reviewed changes

lmazuel merged commit de11e49 into master

lmazuel deleted the core_add_owner branch

March 10, 2020 23:05

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

Labels

None yet