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

Trivial merge