2017-09-24 22:10:04 +00:00
|
|
|
<!-- Lines like this one are comments and will not be shown in the final output. -->
|
|
|
|
<!-- Make sure that you have read the "Contributing" section of the README and also the notes in CodingStyle. -->
|
|
|
|
<!-- If you are a collaborator, please add labels and assign other collaborators for a review. -->
|
|
|
|
|
|
|
|
### Describe the pull request:
|
|
|
|
<!-- Replace [ ] with [x] to select options. -->
|
|
|
|
- [ ] Bug fix
|
|
|
|
- [ ] Functional change
|
|
|
|
- [ ] New feature
|
2017-11-15 22:34:44 +00:00
|
|
|
- [ ] Code cleanup
|
|
|
|
- [ ] Build system change
|
2017-09-24 22:10:04 +00:00
|
|
|
- [ ] Documentation change
|
|
|
|
- [ ] Language translation
|
|
|
|
|
|
|
|
### Pull request long description:
|
|
|
|
<!-- Describe your pull request in detail. -->
|
|
|
|
|
|
|
|
### Changes made:
|
|
|
|
<!-- Enumerate the changes with 1), 2), 3) etc. -->
|
|
|
|
<!-- Ensure the test cases are updated if needed. -->
|
|
|
|
|
|
|
|
### Related issues:
|
|
|
|
<!-- Reference issues with #<issue-num>. -->
|
|
|
|
<!-- Write "Fixes #<issue-num" to notify Github that this PR fixes an issue. -->
|
|
|
|
|
|
|
|
### Additional information:
|
|
|
|
<!-- Include sample dive log or other relevant information to allow testing the change where feasible. -->
|
|
|
|
|
2017-11-15 22:34:44 +00:00
|
|
|
### Release note:
|
2017-11-28 21:16:18 +00:00
|
|
|
<!-- Describe if this change needs a release note present in CHANGELOG.md. -->
|
|
|
|
<!-- Also, please make sure to add the release note on top of the file CHANGELOG.md. -->
|
2017-11-15 22:34:44 +00:00
|
|
|
|
2017-11-16 13:51:17 +00:00
|
|
|
### Documentation change:
|
|
|
|
<!-- If this PR makes changes to user functionality, then the documentation has to be updated too. -->
|
|
|
|
<!-- Please, briefly outline here what has changed in terms of the user experience (UX). -->
|
|
|
|
<!-- If UX changes have been made, a maintainer should apply the 'needs-documentation-change' label. -->
|
|
|
|
|
2017-09-24 22:10:04 +00:00
|
|
|
### Mentions:
|
|
|
|
<!-- Mention users that you want to review your pull request with @<user-name>. Leave empty if not sure. -->
|