diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-01 10:15:54 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-01 10:15:54 +0100 |
commit | e1bef531095f152649a7e20e992cf97ba6b3f990 (patch) | |
tree | a0aa470dab1a5949f74eb088927af0fbd76ff663 /lib/arena/src/map.rs | |
parent | 6b2b6c1b57d3f0432424de6b828a3ef9150ad825 (diff) | |
parent | 43c79a35a8d78158799b2963009c3876a0a7135b (diff) |
Merge #8701
8701: Fix feature description inconsistency r=Veykril a=brandondong
![image](https://user-images.githubusercontent.com/13722457/116768676-4d0d6980-a9ed-11eb-8d7e-c7d340a99064.png)
Just something that bugged me :)
Co-authored-by: Brandon <[email protected]>
Diffstat (limited to 'lib/arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions