diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-29 17:23:59 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-29 17:23:59 +0100 |
| commit | 11a1bd3259aaac784a41bc2696aad0d742726d2c (patch) | |
| tree | 4ea4892fef24d7173b523205dcd59f5342767b7c /lib/arena | |
| parent | 3fa3343e4747c3f7b2ca3e7924ba5286d67af87c (diff) | |
| parent | 9a057c0ff48a1c99870c52d839284ead74a555c1 (diff) | |
Merge #9051
9051: Fix incorrect setting descriptions r=lnicola a=sclu1034
Descriptions for diagnostic warning hint and info display were swapped.
Fixes #8485.
Co-authored-by: Lucas Schwiderski <[email protected]>
Diffstat (limited to 'lib/arena')
0 files changed, 0 insertions, 0 deletions