]> git.lizzy.rs Git - rust.git/commitdiff
Merge branch 'sync_from_rust'
authorbjorn3 <bjorn3@users.noreply.github.com>
Fri, 6 Aug 2021 14:28:07 +0000 (16:28 +0200)
committerbjorn3 <bjorn3@users.noreply.github.com>
Fri, 6 Aug 2021 14:28:07 +0000 (16:28 +0200)

Trivial merge