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.

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

Remove public_in_private warning #122

Closed
wants to merge 1 commit into from

Conversation

thenorili
Copy link
Contributor

RFC #3516 has been merged and the public in private changes are on stable. It's tripping clippy on stable, so let's fully remove it from our codebase.

RFC #3516 has been merged and the public in private changes are on
stable. It's tripping clippy on stable, so let's fully remove it from
our codebase.
@thenorili
Copy link
Contributor Author

Duplicates an ad-hoc addition to #119 : ) Will drop if that merges first.

@thenorili thenorili requested review from ten3roberts and removed request for ten3roberts November 21, 2023 22:27
@thenorili
Copy link
Contributor Author

Superceded by 0.6.9 :D

@thenorili thenorili closed this Nov 21, 2023
@thenorili thenorili deleted the private_in_public_stable branch November 21, 2023 22:29
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