Skip to content

Conversation

@sbc100
Copy link
Collaborator

@sbc100 sbc100 commented Mar 11, 2022

This extra argument is only needed when the source file is not
already alongside the headers.

This extra argument is only needed when the source file is not
already alongside the headers.
@sbc100 sbc100 requested a review from tlively March 11, 2022 16:41
@sbc100 sbc100 enabled auto-merge (squash) March 11, 2022 16:49
@sbc100 sbc100 merged commit ebe0ddd into main Mar 12, 2022
@sbc100 sbc100 deleted the remove_unneeded_includes branch March 12, 2022 08:28
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.

3 participants