diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-12 17:42:22 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-12 17:42:22 +0100 |
| commit | ab1ad19f552e1b11055ed60f87cc420871d902eb (patch) | |
| tree | 691fa1930515d83b7dfee2f48e6bf3d23d0600a8 /.github | |
| parent | 70d1b848eb1b8e2c463040be205ee52757a0e19c (diff) | |
| parent | 6a18dbe116a78e11750532a2606a3aa63fe24cdf (diff) | |
Merge #5332
5332: Update lsp-types r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions