Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add comment so pub items are not removed
As suggested in rust-lang#115393, add a comment so someone doesn't clean these up.
- Loading branch information