Skip to content

Fix GH-15693: Unnecessary include in main.c bloats binary #15700

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
wants to merge 1 commit into from
Closed

Fix GH-15693: Unnecessary include in main.c bloats binary #15700

wants to merge 1 commit into from

Conversation

nielsdos
Copy link
Member

@nielsdos nielsdos commented Sep 1, 2024

No description provided.

@nielsdos nielsdos requested a review from bukka as a code owner September 1, 2024 20:40
@nielsdos nielsdos linked an issue Sep 1, 2024 that may be closed by this pull request
Unnecessary include in main.c bloats binary #15693
Closed
cmb69
cmb69 approved these changes Sep 1, 2024
View reviewed changes
Copy link
Member

@cmb69 cmb69 left a comment

Choose a reason for hiding this comment

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

Apparently no issues, so this looks good to go.

@nielsdos nielsdos closed this in 0d616d1 Sep 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bukka bukka bukka approved these changes

@cmb69 cmb69 cmb69 approved these changes

@devnexen devnexen devnexen approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Unnecessary include in main.c bloats binary
4 participants
@nielsdos @bukka @cmb69 @devnexen