]> git.lizzy.rs Git - rust.git/commitdiff
Merge from rustc
authorRalf Jung <post@ralfj.de>
Sat, 5 Nov 2022 11:35:40 +0000 (12:35 +0100)
committerRalf Jung <post@ralfj.de>
Sat, 5 Nov 2022 14:21:50 +0000 (15:21 +0100)

Trivial merge