diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-17 12:57:29 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-04-17 12:57:29 +0100 |
| commit | 0262c9b9c0f5091106606e959d85b1dc0cdb7e0d (patch) | |
| tree | 82882f5ae58b65f9d866ca444a2c3b73f3f68661 /editors | |
| parent | bd6b532224753c6e56e322158b12cd1079b03f67 (diff) | |
| parent | 146f6f5a45a4bfd98ab0eb54bb30610d784433c9 (diff) | |
Merge #4010
4010: Fix handling of ranges in diagnostics r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions