diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-11 16:56:11 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-11 16:56:11 +0000 |
commit | 73266085364d2a559d805c6ab942efee7be56f62 (patch) | |
tree | 6b9342ab14b7219f0430f234ea3eddb01e195233 /crates/ra_hir_ty | |
parent | 991b62a4f935ce49dafbf0ce252f7fdb467daae8 (diff) | |
parent | 08fa0151ed27b01e4ed4b144e007255c792657c0 (diff) |
Merge #2796
2796: Fix lruCapacity config key in VSCode r=kjeremy a=marcogroppo
Closes #2789.
This simply adds `null` as a valid value for the configuration key.
We could use the server-side default value (128) instead, but in that case every time we change its value on the server side we would have to update it on the client side too.
Co-authored-by: Marco Groppo <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty')
0 files changed, 0 insertions, 0 deletions