Rollup merge of rust-lang#107431 - notriddle:notriddle/colon, r=thomcc

matthiaskrgr · web-flow · commit 02a872f67427 · 2023-01-29T20:03:38.000+01:00
docs: remove colon from time header

It's not used anywhere else; the inconsistency is weird.
diff --git a/std/src/time.rs b/std/src/time.rs
@@ -1,6 +1,6 @@
 //! Temporal quantification.
 //!
-//! # Examples:
+//! # Examples
 //!
 //! There are multiple ways to create a new [`Duration`]:
 //!
