diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-09 19:37:55 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-09 19:37:55 +0000 |
| commit | 06a03bab8e0fc76044da24e680582c47584041a9 (patch) | |
| tree | 833188eb93968f1be778cb433bc2302ef2ef890d /editors/code/src | |
| parent | fc1595539ee410c6a713e9b33d2074ae3732b849 (diff) | |
| parent | 78dd2ba196fee53d32f5f53572a03f748d9bb542 (diff) | |
Merge #6790
6790: Send a CodeLensRefresh when we reload r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions