-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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
mv binary_heap.rs binary_heap/mod.rs #106692
mv binary_heap.rs binary_heap/mod.rs #106692
Conversation
(rustbot has picked a reviewer for you, use r? to override) |
Hey! It looks like you've submitted a new PR for the library teams! If this PR contains changes to any Examples of
|
@bors r+ rollup I don't mind making this change; we have some other mod.rs files. That said, it's plausible it'll get reverted in the future if we move away from that format. |
Rollup of 13 pull requests Successful merges: - rust-lang#104965 (reword Option::as_ref and Option::map examples) - rust-lang#105172 (Added error documentation for write_fmt) - rust-lang#106605 (rustdoc: fix outdated lint section of the book) - rust-lang#106670 (Check compiler docs in PR CI) - rust-lang#106692 (mv binary_heap.rs binary_heap/mod.rs) - rust-lang#106693 (rustdoc: rename CSS rustdoc-toggle -> toggle and toggle -> settings-toggle) - rust-lang#106707 (Remove duplicate sha-1 dependency) - rust-lang#106762 (Add `AtomicPtr::as_mut_ptr`) - rust-lang#106766 (Remove dead code in rustdoc stripper) - rust-lang#106775 (Remove stale reference to the test suite location) - rust-lang#106799 (Stop having unused lifetimes on some `impl`s) - rust-lang#106816 (Update `rental` hack to work with remapped paths.) - rust-lang#106819 (rustdoc: remove unnecessary DOM class `h1.fqn`) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
I confess this request is somewhat selfish, as it's made in order to ease synchronisation with my copse crate (see eggyal/copse#6 for explanation). I wholly understand that such grounds may be insufficient to justify merging this request—but no harm in asking, right?