aboutsummaryrefslogtreecommitdiff
path: root/lib/arena
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-05-29 17:23:59 +0100
committerGitHub <[email protected]>2021-05-29 17:23:59 +0100
commit11a1bd3259aaac784a41bc2696aad0d742726d2c (patch)
tree4ea4892fef24d7173b523205dcd59f5342767b7c /lib/arena
parent3fa3343e4747c3f7b2ca3e7924ba5286d67af87c (diff)
parent9a057c0ff48a1c99870c52d839284ead74a555c1 (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