]> git.lizzy.rs Git - rust.git/commit
Merge #8735
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Wed, 5 May 2021 20:56:42 +0000 (20:56 +0000)
committerGitHub <noreply@github.com>
Wed, 5 May 2021 20:56:42 +0000 (20:56 +0000)
commitecc722de40aaa15a20482759e1f2baf3f745b688
treeb8ced23c567c160f9207d52c30e0f08e1aead992
parent957760a47f0d0d3275fc2e606f3b204694dc6f21
parent3f796fea9fab0222913f9f895af78b80c4c7660b
Merge #8735

8735: simplify r=Veykril a=Veykril

bors r+

Co-authored-by: Lukas Tobias Wirth <lukastw97@gmail.com>