diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-11 23:36:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-11 23:36:28 +0200 |
| commit | 18fb585b74ec79cc8b2bccc0c71d3deafe14e28d (patch) | |
| tree | b1b6e79c23771726e7066600ec686e1df7638087 /.github | |
| parent | d2fc0a8057901620db4aeb1b1072c644a742d339 (diff) | |
| parent | 4e065a524224ed9bda83f95d407b2eb4909bdd83 (diff) | |
Merge pull request #51520 from mhilbrunner/biggest-nitpick-ever
Docs: Fix capitalisation of Warning in two places
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions