diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-13 10:09:24 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-13 10:09:24 +0100 |
| commit | 6081b437cc842f8885c26636bef8af4cbc5483e3 (patch) | |
| tree | d608b8a7edd630a8b028c117c615ece9a48c4186 /.github | |
| parent | fe29a9e837c6e9699185ccae55e83902b4f6ef6a (diff) | |
| parent | 06a633ff421b764428bb946ced914e59532fe13f (diff) | |
Merge #8498
8498: feat: improve performance by delaying computation of fixes for diagnostics r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions