]> git.lizzy.rs Git - rust.git/commit
Merge #6829
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Fri, 11 Dec 2020 16:56:30 +0000 (16:56 +0000)
committerGitHub <noreply@github.com>
Fri, 11 Dec 2020 16:56:30 +0000 (16:56 +0000)
commit24731e107f3c4790fc5fe73b63ad251a9d6e62ae
tree8d578ba430ba0e6db75ca0256dc5ac77b9636e01
parentd3700b80b1df09c1591cbf9b21642fa4b01a2174
parent64752ef5e9ccfdb0b9321fe23812b9b112d8b306
Merge #6829

6829: Fix typo leading to metrics loss r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>