]> git.lizzy.rs Git - rust.git/commitdiff
Merge remote-tracking branch 'origin/master' into sync-from-rust-2
authorAmos Wenger <amoswenger@gmail.com>
Mon, 25 Jul 2022 12:07:07 +0000 (14:07 +0200)
committerAmos Wenger <amoswenger@gmail.com>
Mon, 25 Jul 2022 12:07:07 +0000 (14:07 +0200)

Trivial merge