]> git.lizzy.rs Git - rust.git/commit
Merge #7213
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Fri, 8 Jan 2021 23:20:54 +0000 (23:20 +0000)
committerGitHub <noreply@github.com>
Fri, 8 Jan 2021 23:20:54 +0000 (23:20 +0000)
commit5fe8cb1fba2f0fec72f62758fbf02b18fc178d4c
treee1dc8f568ac0cfa03fc04b60ab398e2b01105590
parent056cabf25d3ef7a96220f9f3a6f904b2841feab6
parent5889bb27d673e4762490c21ad734e7fd9705d591
Merge #7213

7213: Simplify r=Veykril a=Veykril

bors r+

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