Skip to content

make check doesn't find NOTEs of the form '//NOTE' #6060

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
Closed
Kimundi opened this issue Apr 25, 2013 · 1 comment
Closed

make check doesn't find NOTEs of the form '//NOTE' #6060

Kimundi opened this issue Apr 25, 2013 · 1 comment
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@Kimundi
Copy link
Member

Kimundi commented Apr 25, 2013

It sems to need whitespace between // and NOTE
@catamorphism
Copy link
Contributor

(bug triage) This should be easy to fix.

@bors bors closed this as completed in b128ceb Jul 25, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@steveklabnik @catamorphism @Kimundi