diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-25 05:03:10 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-25 05:03:10 +0000 |
| commit | ca89652f896dad0213e060ce9f6787c72e36a0e9 (patch) | |
| tree | 7ef1c1f5acf3a267d9a288380957f2a0ec69156b /library/std/src/lib.rs | |
| parent | 22ef90c8049cf8f07ce42e09f01ca791b829594e (diff) | |
| parent | baff99c556a22c962c15cfb9f79a0dcb1d467b20 (diff) | |
Merge ref 'a1dbb443527b' from rust-lang/rust
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: a1dbb443527bd126452875eb5d5860c1d001d761 Filtered ref: e644bd7324c7e071785356fcaad5bd89e671366b This merge was created using https://github.com/rust-lang/josh-sync.
Diffstat (limited to 'library/std/src/lib.rs')
| -rw-r--r-- | library/std/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/std/src/lib.rs b/library/std/src/lib.rs index ab417b6c72f..f0de03c9a28 100644 --- a/library/std/src/lib.rs +++ b/library/std/src/lib.rs @@ -15,7 +15,7 @@ //! //! If you already know the name of what you are looking for, the fastest way to //! find it is to use the <a href="#" onclick="window.searchState.focus();">search -//! bar</a> at the top of the page. +//! button</a> at the top of the page. //! //! Otherwise, you may want to jump to one of these useful sections: //! |