mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-07 01:05:39 +03:00
70123283be
as triagebot/rustbot now ignores HTML blocks. cf. https://github.com/rust-lang/triagebot/pull/1869