diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-17 09:43:13 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-17 09:43:13 +0000 |
| commit | 2920e7b28b58400a9026e92f28fc0304d71c7376 (patch) | |
| tree | 89e7a25214a5b823ad62308a48e454cf63f93e11 /bench_data | |
| parent | b3c848ee286ddb643fb2d857060cd618a7dc25a7 (diff) | |
| parent | a403be6456a0f579e5536e19aa230a425e7ea71b (diff) | |
Merge #7701
7701: Remove semantic tokens workaround r=SomeoneToIgnore a=kjeremy
Let's try this again.
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'bench_data')
0 files changed, 0 insertions, 0 deletions