2018-10-27 21:38:28 +08:00
|
|
|
|
|
|
|
|
|
2018-10-27 11:32:01 +08:00
|
|
|
<!--
|
|
|
|
|
When creating a new PR, please do the following:
|
2017-03-09 08:07:30 +08:00
|
|
|
|
2018-10-27 11:32:01 +08:00
|
|
|
* Reference the issue number if there is one, e.g.:
|
2017-03-09 08:07:30 +08:00
|
|
|
|
2018-10-27 11:32:01 +08:00
|
|
|
Fixes #Issue_Number
|
2017-03-09 08:07:30 +08:00
|
|
|
|
2018-10-27 11:32:01 +08:00
|
|
|
The "Fixes #nnn" syntax in the PR description allows GitHub to automatically close the issue when this PR is merged.
|
|
|
|
|
|
|
|
|
|
NOTE: This is a comment; please type your descriptions above or below it.
|
2018-10-27 21:38:28 +08:00
|
|
|
-->
|
