summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2017-06-12 14:20:35 -0400
committerGabriel Scherer <gabriel.scherer@gmail.com>2017-06-12 14:20:35 -0400
commit2c4f801c6f9685a177ad5538add2d4e4bdd839af (patch)
tree58ab7a27e08c14654950d05bdb1bc171acc9fe41 /CONTRIBUTING.md
parent75812f5939a54baed428410d080418e803066c8d (diff)
downloadocaml-2c4f801c6f9685a177ad5538add2d4e4bdd839af.tar.gz
[minor] fix CONTRIBUTING.md formatting
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md10
1 files changed, 4 insertions, 6 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index fb6fabb3da..c3c5bcbd7d 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -176,12 +176,10 @@ Any user-visible change should have a `Changes` entry:
from a commit message, but it should make sense to end-users
reading release notes)
-- crediting the people that worked on the feature
-
- The people that wrote the code should be credited of course,
- but also substantial code reviews or design advice, and the
- reporter of the bug (if applicable) or designer of the
- feature request (if novel).
+- crediting the people that worked on the feature. The people that
+ wrote the code should be credited of course, but also substantial
+ code reviews or design advice, and the reporter of the bug
+ (if applicable) or designer of the feature request (if novel).
- following the format