Skip to content
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

fix: set no_include flag properly in tonic plugin #17

Merged
merged 1 commit into from
Jun 28, 2022
Merged

fix: set no_include flag properly in tonic plugin #17

merged 1 commit into from
Jun 28, 2022

Conversation

titanous
Copy link
Contributor

Fixes some copypasta that breaks the flag.

@titanous titanous mentioned this pull request Jun 27, 2022
Closed
@neoeinstein
Copy link
Owner

Many thanks! I'll get this corrected and out this afternoon.

@neoeinstein
Copy link
Owner

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 28, 2022

Build succeeded:

@bors bors bot merged commit 7873234 into neoeinstein:main Jun 28, 2022
@UebelAndre UebelAndre mentioned this pull request Jul 6, 2022
Closed
@titanous titanous deleted the fix-no_include branch December 16, 2022 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@neoeinstein neoeinstein neoeinstein 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.
2 participants
@titanous @neoeinstein