diff options
| author | bors <bors@rust-lang.org> | 2022-09-21 18:38:20 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-09-21 18:38:20 +0000 |
| commit | 6671f830b091de4d31516a966f72e915445ccbb1 (patch) | |
| tree | 9f178eea3fa9ee6937cdaf1195af3cc9b4d3ded5 /compiler/rustc_codegen_gcc/example/std_example.rs | |
| parent | 8e3b9bca65d7d79a3b0e9c33fed8d8c93dd66041 (diff) | |
| parent | bef2bd8cc251167f5722ba9d3e1aa0f6361df69a (diff) | |
| download | rust-6671f830b091de4d31516a966f72e915445ccbb1.tar.gz rust-6671f830b091de4d31516a966f72e915445ccbb1.zip | |
Auto merge of #2558 - RalfJung:tag-gc, r=saethlin
readme: tag-gc tweaks r? `@saethlin` Is this option truly needed often enough that it should be in the 'common' section? If not I vote for moving it to the 2nd section. Also `10,000` is a confusing way to write numbers in an international context (in many languages, `,` in a number plays the role of the point in English number notation, so using a space or underscore is less likely to lead to confusion).
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/std_example.rs')
0 files changed, 0 insertions, 0 deletions