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 newline #1249

Merged

JimBugwadia merged 1 commit into main from add_newline_to_owners

Nov 12, 2020

Member

JimBugwadia commented Nov 12, 2020

Related issue

What type of PR is this?

Proposed changes

Checklist

I have read the contributing guidelines.
I have added tests that prove my fix is effective or that my feature
works.
I have added or changed the documentation.

Further comments


          add newline

8a97b06

JimBugwadia requested a review from realshuting

November 12, 2020 02:17

realshuting approved these changes

View reviewed changes

JimBugwadia merged commit cddc3da into main

JimBugwadia deleted the add_newline_to_owners branch

November 12, 2020 02:30

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