diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-15 17:46:36 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-15 17:46:36 +0000 |
| commit | 148e3d0f6a28f57565538dca7d9c0f5f726a5908 (patch) | |
| tree | cd7e8a549ed50efea52d171f6e8d6b7827a9974f /.github | |
| parent | 92c03795602c75576a0b3b3fd20cb21c8529fc82 (diff) | |
| parent | 26ef7e39f4d7cf150ac855e88efd4fd121f7e578 (diff) | |
Merge #7287
7287: Make SyntaxPtr lookup logarithmic r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions