Skip to content

Lint clean up#63

Closed
steve-downey wants to merge 0 commit into
bemanproject:mainfrom
steve-downey:main
Closed

Lint clean up#63
steve-downey wants to merge 0 commit into
bemanproject:mainfrom
steve-downey:main

Conversation

@steve-downey

Copy link
Copy Markdown
Member

No description provided.

@steve-downey

Copy link
Copy Markdown
Member Author

Closing/replacing: this PR was opened from my fork's main, which then picked up unrelated D4280R0 paper/wording commits, so it bundled far more than the lint cleanup. Re-opened as a focused PR from a dedicated fix/beman-tidy-lint-failures branch containing only the four lint commits.

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.

1 participant