mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-16 04:55:22 +03:00
766d9caf51
Delete the 12 year old fixme I think Option is documented well enough at this point.