diff options
| author | Théo Zimmermann | 2018-10-05 14:29:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-05 14:29:54 +0200 |
| commit | 3d263748166b2f4b3fd58a4f8de3e66f03713680 (patch) | |
| tree | 5582ebc2f8b2f62517b4b92486d1a014bcf6c265 /.github | |
| parent | 4108c982aa68e16e94896768358b83047977480d (diff) | |
| parent | 6f56c46a8b2383c4c7cb2e10c24a5e5a3c2191fb (diff) | |
Merge PR #8645: Improve markdown in changes.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 4a8606a38a..73b61ee0d9 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -16,4 +16,4 @@ Fixes / closes #???? <!-- If this is a feature pull request / breaks compatibility: --> <!-- (Otherwise, remove these lines.) --> - [ ] Corresponding documentation was added / updated (including any warning and error messages added / removed / modified). -- [ ] Entry added in CHANGES. +- [ ] Entry added in CHANGES.md. |