]> git.lizzy.rs Git - rust.git/commitdiff
Merge commit '61504c8d951c566eb03037dcb300c96f4bd9a8b6' into HEAD
authorAmos Wenger <amoswenger@gmail.com>
Fri, 25 Nov 2022 12:03:12 +0000 (13:03 +0100)
committerAmos Wenger <amoswenger@gmail.com>
Fri, 25 Nov 2022 12:03:12 +0000 (13:03 +0100)

Trivial merge