]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #107431 - notriddle:notriddle/colon, r=thomcc
authorMatthias Krüger <matthias.krueger@famsik.de>
Sun, 29 Jan 2023 19:03:38 +0000 (20:03 +0100)
committerGitHub <noreply@github.com>
Sun, 29 Jan 2023 19:03:38 +0000 (20:03 +0100)
docs: remove colon from time header

It's not used anywhere else; the inconsistency is weird.


Trivial merge