From: bors Date: Sat, 5 Mar 2022 19:53:45 +0000 (+0000) Subject: Auto merge of #94648 - RalfJung:rollup-4iorcrd, r=RalfJung X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c274e4969f058b1c644243181ece9f829efa7594;p=rust.git Auto merge of #94648 - RalfJung:rollup-4iorcrd, r=RalfJung Rollup of 4 pull requests Successful merges: - #94630 (Update note about tier 2 docs.) - #94633 (Suggest removing a semicolon after derive attributes) - #94642 (Fix source code pages scroll) - #94645 (do not attempt to open cgroup files under Miri) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup --- c274e4969f058b1c644243181ece9f829efa7594