diff options
| author | Théo Zimmermann | 2018-05-24 13:18:35 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-24 13:18:35 +0200 |
| commit | 9392d7ed7c1dfe3ad2b3d6b0f5e039353fbd6517 (patch) | |
| tree | beeff376c142dd9cdc9425deabe37fadab92a404 | |
| parent | affdcf6d3b66fd446dda09a9e1652e7558b61eaa (diff) | |
| parent | 659696f3c1bae265cb71f1bc4b6ebc5f933db223 (diff) | |
Merge PR #7581: Mention warning and error message docs in PR template
| -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 a9230042a5..86c15f6e80 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -12,5 +12,5 @@ Fixes / closes #???? <!-- If this is a feature pull request / breaks compatibility: --> <!-- (Otherwise, remove these lines.) --> -- [ ] Corresponding documentation was added / updated. +- [ ] Corresponding documentation was added / updated (including any warning and error messages added / removed / modified). - [ ] Entry added in CHANGES. |