Skip to content

Conversation

@madneal
Copy link
Contributor

@madneal madneal commented Dec 23, 2020

No description provided.

@aibaars
Copy link
Contributor

aibaars commented Dec 23, 2020

This change looks good to me. Thanks for pointing this out. @madneal Could you rebase the branch to remove the spurious commits?

@jf205 Could you merge this change if you are happy with it. I wondered whethered this file is handwritten or generated from some other source. If it's generated we should of course fix the problem at the source.

@madneal
Copy link
Contributor Author

madneal commented Dec 23, 2020

@aibaars rebased

@aibaars aibaars requested a review from jf205 December 23, 2020 11:31
@madneal
Copy link
Contributor Author

madneal commented Dec 23, 2020

@aibaars one more commit, the LineComment and BlockComment should be the same level too

Copy link
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me! I'll get this merged shortly.

(@jf205 is unavailable, so I've taken a look on his behalf.)

@shati-patel shati-patel merged commit 5a9e098 into github:main Jan 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants