diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-11 16:56:30 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-11 16:56:30 +0000 |
commit | 24731e107f3c4790fc5fe73b63ad251a9d6e62ae (patch) | |
tree | 8d578ba430ba0e6db75ca0256dc5ac77b9636e01 /crates/arena/src/map.rs | |
parent | d3700b80b1df09c1591cbf9b21642fa4b01a2174 (diff) | |
parent | 64752ef5e9ccfdb0b9321fe23812b9b112d8b306 (diff) |
Merge #6829
6829: Fix typo leading to metrics loss r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions