diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-08 12:51:14 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-08 12:51:14 +0100 |
| commit | a69f19a6a5899bdfb6fc498371650bf54263deff (patch) | |
| tree | 0c99c2a67fa04f1b7c14f732b2f0889a7445541c /.github/workflows/ci.yaml | |
| parent | 7a02cc8845ba4e9e3ec414283c60333143831733 (diff) | |
| parent | c04b2e39dacfea5c6ba158d842fb3b7f3e0db12b (diff) | |
Merge #5686
5686: Fix typo in settings description r=kjeremy a=rherrmann
Remove a duplicate word from the description of the `warningsAsHint` setting.
Co-authored-by: Rüdiger Herrmann <[email protected]>
Diffstat (limited to '.github/workflows/ci.yaml')
0 files changed, 0 insertions, 0 deletions