diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-10 10:33:29 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-10 10:33:29 +0100 |
| commit | 5fa8f8e3761363098c80e11842682dffcee171d8 (patch) | |
| tree | 4a099f7cc7ea3c42f89d79268d905a5f81f237a3 /editors | |
| parent | dc9596358ac2fa14a46773bad158603ba5a769e0 (diff) | |
| parent | 17ff67dd7e874ad7cff5251684fb242c4a4e3200 (diff) | |
Merge #5286
5286: Only take first 500 syntax errors r=jonas-schievink a=yihuang
Too many syntax errors make some editor/ide slow, fix #3434.
Co-authored-by: yihuang <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions